Logical English as a Programming Language for the Law
This program is tentative and subject to change.
Logical English (LE) is syntactic sugar for logic programs, which are collections of facts and rules of the form conclusion if conditions. In this paper, we focus on legal applications of LE and the use of meta- (or higher-order) predicates to represent propositional attitudes. We also illustrate an integration of LE with SWISH, the online implementation of SWI Prolog.
|paper (Logical English as a programming language for the Law.docx.pdf)||599KiB|
|slides (Logical English for ProLaLa.pdf)||866KiB|