| 释义 |
XSB
XSB (logic programming)XSB extends the standard functionality ofProlog (being a descendant of PSB- and SB-Prolog) to includeimplementations of OLDT (tabling) and HiLog terms. OLDTresolution is extremely useful for recursive querycomputation, allowing programs to terminate correctly in manycases where Prolog does not. HiLog supports a type ofhigher-order programming in which predicate symbols can bevariable or structured. This allows unification to beperformed on the predicate symbols themselves in addition tothe arguments of the predicates. Of course, Tabling and HiLogcan be used together.
Version 1.2
ports: Sun, Solaris, NeXT, Linux, 386 BSD, IRIX, HP-UX
portability: Generally to 32-bit machines.
interpreter, preprocessor(HiLog), documentation
XSB research group / SUNY at Stony Brook
ftp://sbcs.sunysb.edu/pub/XSB/XSB.tar.Z.
(130.245.1.15) E-mail: .XSB
| Acronym | Definition |
|---|
| XSB➣Xtensible Shopping Bag (software) | | XSB➣Barrier Single Unit | | XSB➣eXtended System Bus | | XSB➣Extended Stony Brook (Prolog ; logic programming language) |
|