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-r9737-trunk.zip | 0022584729 21.5 MB | |
xsb.changes | 0000001308 1.28 KB | |
xsb.spec | 0000015249 14.9 KB |
Revision 76 (latest revision is 78)
Update to XSB r9737
Comments 0