Word:

XSB

XSB - 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: .
Browse
XperCASE
XPG
XPG3
XPGR3
XPL
xpm
XPOP
XPP
Xpress Transport Protocol
XPS
XPSB
xref
XRemote
XRIP
XRN
XRT
-- XSB --
XScheme
XSD
XSDT
XSI
XSL
XSL-FO
XSLFO
XSLT
XSMD
XT
XT bus architecture
XTC
xterm
XTI
XTM
XTP
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home