2609.20334R·cs.AI18 de set. de 2026Structured Four-Stage Legal Translation: From Natural-Language Traffic Rules to PROLOG Zin, Fungwacharakorn, Satoh, Nitta