Welcome to the home of XSB!
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:
XSB Portal
GIT repository
Mailing Lists
Bug tracking
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 for
literate 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.html 2022-05-12 tswift Exp $