XSB Version 1.2

Appeared in Volume 7/1, February 1994

XSB is a descendant of SB-Prolog. The new version offers improved performance, reliability and portability. In particular, speed-ups of 20% can be observed for many Prolog programs.

Besides providing all the functionalities of a Prolog system, XSB includes an optimizing compiler, C interface, a module system, list processing libraries, and dynamic loading. Furthermore, it extends Prolog by including implementations of OLDT (tabling) and HiLog terms.

The XSB distribution includes all source code and a user's manual. The system can be compiled using the GNU C compiler, and currently has been tested on:

SUN-3 and SUN-4 workstations; NeXT machines; 386 and 486 PCs under Linux and 386 BSD; Silicon Graphics machines running IRIX; Hewlett-Packard 300/400 series running HP-UX.

Porting XSB to any 32-bit machine running Unix, should be straightforward.

OLDT resolution is useful for recursive query computation, allowing programs to terminate correctly in many cases where Prolog does not. Users interested in parsing, program analysis, and memory-resident deductive database applications may benefit from XSB.

HiLog supports a kind 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.

Obtain XSB using anonymous FTP to:
ftp://sbcs.sunysb.edu/pub/XSB/XSB.tar.Z

Uncompress using:
uncompress -c XSB.tar.Z | tar xvf -