XSB is a research-oriented, commercial-grade Logic Programming system for Unix and Windows-based platforms. In addition to providing nearly all functionality of ISO-Prolog, XSB includes the additional features, such as evaluation of queries according to the Well-Founded Semantics through full SLG resolution (tabling with negation). XSB's tabling implementation supports incremental tabling, as well as call and answer subsumption.

To understand the implications of SLG resolution, recall that Prolog is based on a depth-first search through trees that are built using program clause resolution (SLD). As such, Prolog is susceptible to getting lost in an infinite branch of a search tree, where it may loop infinitely. SLG evaluation, available in XSB, can correctly evaluate many such logic programs.

Source Files
Filename Size Changed Actions
xsb-rpmlintrc 0000000051 51 Bytes 10 months
xsb-src-r9631-trunk.zip 0022986071 21.9 MB 9 days
xsb.changes 0000000822 822 Bytes 9 days
xsb.spec 0000015128 14.8 KB 9 days
Comments for xsb 0