The XSB Programming System
- Version:
- 1.2
- Description:
- A logic programming system based on Prolog, but more powerful. Based on SLG resolution, includes HiLog, C interface, modules. Includes Source Code, runs on most 32-bit Unix platforms
Currently evaluates stratified programs. Future releases to include compiled HiLog, non-stratified negation, database interfaces.
- Keywords:
- XSB Prolog Deductive Database SLG OLDT HiLog
- Author:
- (D.S. Warren, T. Swift (poster) K. Sagonas)
- Maintained-by:
- xsb-contact@cs.sunysb.edu
- Primary-site:
- sbcs.sunysb.edu (130.245.1.15) pub/XSB
1200000 XSB.tar.Z
- Copying-policy:
- GNU Copyleft
Next Entry
Previous Entry