XSB
<logic programming> XSB extends the standard functionality of Prolog
(being a descendant of PSB- and SB-Prolog) to include implementations of OLDT
(tabling) and HiLog terms. OLDT resolution is extremely useful for recursive
query computation, allowing programs to terminate correctly in many cases where
Prolog does not. HiLog supports a type of higher-order programming in which
predicate symbols can be variable or structured. This allows unification to be
performed on the predicate symbols themselves in addition to the arguments of
the predicates. Of course, Tabling and HiLog can 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-contact@cs.sunysb.edu>.
(1993-07-28)
Nearby terms:
xref « XRemote « XRN « XSB » XScheme » x-scm
» XSD
|
