Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows.
Download
xsb - XSB 3.1 (Incognito)
Last Update: Aug 30 2007
©Copyright 1999-2008 - SourceForge, Inc., All Rights Reserved