Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles