Structured Four-Stage Legal Translation: From Natural-Language Traffic Rules to PROLOG
Qualitative analysis shows that S4L captures implicit causal relations, deontic modality, and exception structure more reliably than the baselines, demonstrating that structured reasoning prompts can substantially improve the reliability of natural-language-to-logic translation for legal and safety-critical application...