Logic Production Systems (LPS) is a new declarative programming language, aiming to close the gap between logical and imperative languages. The present system demo instance focuses mostly on "Logical Contracts", the application of LPS to represent and execute legal contracts, including blockchain smart contracts.

• Interactive language tutorial
• Working LPS examples (edit freely and execute with go(Timeline), go or state_diagram(Graph)):
• Generic
• Fintech / legaltech (sort of)
• Description of surface syntax
• Preliminary reference manual
• 2d visualization
• Open source repository at Bitbucket

You can try your LPS programs on this website, but do not depend on it being available long term; you can easily set up your own instance with Docker in a couple minutes - see "Quick Start" here.

lps.swi runs on multithreaded SWI Prolog, a mature and scalable open source (Simplified BSD) system; it optionally uses the present SWISH environment. There is LPS another implementation in JavaScript, available from the Imperial (LPS) site.