Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows.

Download
xsb - XSB 3.1 (Incognito)
Last Update: Aug 30 2007


At a glance ... RSS