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.

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.

Comments are welcome to support@logicalcontracts.com