Logical Contracts

We make two open-source systems for writing rules, contracts and regulations in a form that people can read and computers can run, with an explanation for every answer.

Logical English is a way of writing rules in English that a computer can run. Every answer comes with its reasons. Try it at https://le2.logicalcontracts.com, with nothing to install and no account.

Logic Production Systems runs programs that act over time: contracts, processes, games. It shows each run on a timeline and explains any fact or event on request. Try it at https://lps2.logicalcontracts.com/ide.

Logical English Extensions are the optional, licensed parts: Logical English Translators, which read the programs of twelve other rule systems into Logical English and write some of them back, and include the LE Contract Assistant, which drafts a tested program from a contract. And the InsurLE language extensions for contract and statute text.

Logical Contracts is a division of Renting Point, a Portuguese company. Contact us.