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.

Your rules, in plain English, checked against your own system. Send us one program, rulebase or spreadsheet: an Oracle Intelligent Advisor project, a Drools file, an Excel calculator, or a program of any of the seventeen systems we read. Within five working days you get it back in Logical English, with your own tests as scenarios that rerun themselves, free, and yours to keep.

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 sixteen 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.