Logical English as a Programming Language for the Law
summary
Logical English is syntactic sugar for logic programs and is implemented on SWISH (SWI‑Prolog) with runnable examples. It embeds meta‑predicates using the keyword that to represent obligations and propositional attitudes, uses templates where variables are marked with asterisks, and represents exceptions non‑monotonically via negative conditions. Worked examples include an encoded British Nationality Act, a rock‑paper‑scissors smart‑contract, subsets and a loan/obligations scenario; the system runs queries and generates explanations, but writing LE requires training and static types remain unimplemented.
AI-written summary · about