Logic Production Systems
We’ve been contributing to this open source project for a new language that attempts to unify imperative and logic programming. Visit our reference demo web site to experience it:
Do you write XSB Prolog code? An open source IDE for XSB Prolog and derived higher level languages. XSB Prolog is a uniquely powerful logic engine, and now Studio is its most advanced developer tool.
It takes 5 minutes to
['watch the quick tour', download, install]. Go to the Prolog Studio page.
An open source library to enable Java apps to use XSB Prolog engines, and vice-versa.