Welcome to the home of XSB! (original) (raw)
XSB is a Logic Programming and Deductive Database system for Unix and Windows. It is being developed at a number of institutions, including the Computer Science Department of Stony Brook University, Universidade Nova de Lisboa, XSB Inc., and Coherent Knowledge Systems, Inc.
XSB is kindly hosted by Sourceforge. You can directly access the following resources from here:
If you are new to XSB, please read the XSB Technical Summary for an overview of its main features.
Latest Releases
The latest stable version of XSB 5.0 has been fully tested and is available (May 12, 2022). See the release notes here.
While XSB is constantly updated we are lazy about putting out releases. Until we reform, you can also get the latest version of the code from the GIT repo.
Documentation:
- The XSB download includes the manuals in pdf format, but they may also be downloaded separately: Volume 1 and Volume 2
- The xsbdoc Documentation Generator can be used forliterate XSB programming (PDF).
Third-Party Interfaces
- InterProlog distributed by InterProlog Consulting, provides a means of interfacing XSB with Java programming.
- XJ also distributed separately from XSB, provides a way to program interfaces in XSB based on Java's Swing, and on InterProlog.
Integrated Development Environment
- Prolog Studio is a new IDE specifically written for Prolog programmers, and distributed by InterProlog Consulting. It arose out of a Coherent Knowledge Systems software project, so it has many XSB-specific features.
Active Related Projects
These are a few of many projects that use XSB (contact us if you would like yours added).
- The Ergo Platform is a next-generation inference engine with axioms and facts enterable via English.
- Flora is an object-oriented language for building knowledge-intensive applications, which is based on the ideas of F-Logic, HiLog and Transaction Logic.
- Logtalk is an open source object-oriented logic programming language that can make use of multi-threading.
Email: xsb-users@lists.sourceforge.net
Last modified: Id:index.html2022−05−12tswiftExpId: index.html 2022-05-12 tswift Exp Id:index.html2022−05−12tswiftExp