Home

Prolog Studio

Do you write 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.

Welcoming “Programming Machine Ethics”

Studio welcomes “Programming Machine Ethics”, the new book by Pereira and Saptawijaya: builtin support for QUALM, an XSB Prolog dialect with abduction, updates and counterfactuals. More details here.

Java/Prolog SDK

An open source library to enable Java apps to use XSB Prolog engines, and vice-versa.