SAL Home PROGRAM Languages & Compilers


XSB is an extension of an Edinburgh Prolog system to include an efficient implementation of memoization and an initial implementation of HiLog. The XSB system supports table declarations for predicates, which tell the system to maintain tables and not to make multiple calls to the same subquery. This allows the XSB system to be used as an in-memory Deductive Database system since it is complete for Datalog queries. The implementation is done by extending the WAM, so it is quite efficient. The XSB implementation of HiLog is not yet completed. The system will execute HiLog programs but they may be quite inefficient. XSB comes with all source code (in C and Prolog), a Users Manual, and some technical documentation on its implementation.

Current Version:   ??

License Type:   Free

Home Site:

Source Code Availability:   Yes

Available Binary Packages:

  • Debian Package:   No
  • RedHat RPM Package:   No
  • Other Packages:   No

Targeted Platforms:

SUN, NeXT, Linux, SGI, HP, DEC, IBM RS6000.

Software/Hardware Requirements:


Other Links:

Mailing Lists/USENET News Groups:


User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.