The XSB Programming System

Version: 1.5
Entered-date: 1995-11-11
Description: ~ A logic programming system extending Prolog with deductive database and non-monotonic reasoning capabilities. Deductive Database capabilities include tabling, the ability to load and flexibiy index relations containing hundreds of thousands of tuples, and an Oracle interface to access even large relations. Non-monotonic reasoning capabilities include the ability to evaluate non-stratified programs according to the well-founded semantics. Also includes compiled HiLog, a C interface, and modules. This version includes sources code and runs on most 32-bit Unix platforms as well as on Windows.
ftp://~www.cs.sunysb.edu/~sbprolog
Keywords: ~ XSB Prolog Deductive Database Non-monotonic reasoning Tabulation
Author: ~ kostis@cs.sunysb.edu (Kostis Sagonas) tswift@cs.sunysb.edu (Terrance Swift) warren@cs.sunysb.edu (David S. Warren)
Maintained-by: ~ xsb-contact@cs.sunysb.edu
Copying-policy: ~ GPL

Note: Not all entries contain correct, complete filenames or URLs. FTP sites often refuse connections due to excessive traffic. If you have difficulty with the provided links to individual files, try the first link, which is usually to a directory or web site for the program as a whole.

Up to Linux Software Map