The Logic Production Systems demonstration website is online at https://demo.logicalcontracts.com, after we developed it for the Imperial College, London.

The result of over a decade of research by the inventor of Computational Logic, Bob Kowalski, with Fariba Sadri, LPS is a new logic based attempt at unifying imperative and declarative programming languages. Follow the “with LPS” link for the open source repository and further information.