XSB 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: ftp://ftp.cs.sunysb.edu/pub/XSB/ 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: None

Other Links: None Mailing Lists/USENET News Groups: None User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers