tool: XSB
-
Language:
|
Prolog
|
|---|
-
Version:
|
1.2
|
|---|
-
Parts:
|
interpreter, preprocessor(HiLog), documentation
|
|---|
-
Author:
|
XSB research group / SUNY at Stony Brook
|
|---|
-
Location:
|
ftp://sbcs.sunysb.edu/pub/XSB/XSB.tar.Z
|
|---|
-
Description:
|
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.
|
|---|
-
Ports:
|
Sun, Solaris, NeXT, Linux, 386 BSD, IRIX, HP-UX
|
|---|
-
Portability:
|
Generally to 32-bit machines.
|
|---|
-
Contact:
|
xsb-contact@cs.sunysb.edu
|
|---|
-
Updated:
|
July 28th, 1993
|
|---|
language: Prolog
category: logic programming languages
summary, or
expanded.
|
|