xsb
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.
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout home:geewass:pharos/xsb && cd $_
- Create Badge
Source Files
Filename | Size | Changed |
---|---|---|
missing_preds.diff | 0000000584 584 Bytes | |
xsb-rpmlintrc | 0000000051 51 Bytes | |
xsb-src-r9741-trunk.zip | 0022573072 21.5 MB | |
xsb.changes | 0000001456 1.42 KB | |
xsb.spec | 0000015249 14.9 KB |
Latest Revision
Update to r9741
Comments 0