Structured Four-Stage Legal Translation: From Natural-Language Traffic Rules to PROLOG

The S4L framework translates natural-language traffic regulations into executable Prolog rules through a four-stage process: semantic role extraction, scene completion, logical mapping, and rule generation. This single-prompt method converts ambiguous human language into formal logic without requiring intermediate Logical English representations or manual intervention.