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
the Computer Science
Department of Stony Brook
University, Universidade Nova de
Inc, Katholieke Universiteit
Leuven, and Uppsala Universitet.
XSB is kindly hosted by Sourceforge. You can directly access the following resources from
If you are new to XSB, please read the XSB
Technical Summary for an overview of its main features.
The latest stable version of XSB 3.4 has been
fully tested and is available. See the
release notes here.
The XSB manual comes in two volumes:
Volume 1 and Volume 2.
The xsbdoc Documentation Generator can be used for
literate XSB programming (PDF).
These are a few open-source projects that use XSB (contact us if you would like yours added).
The SILK Project
Semantic Inferencing on Large Knowledge uses Flora, XSB, Java and
other tools as a basis for a next-generation rules language.
Flora is an
object-oriented language for building knowledge-intensive
applications, which is based on the ideas of F-Logic, HiLog and
XMC is the main
product of the
Logic-based Model Checking project.
Logtalk is an open source object-oriented
logic programming language that can make use of multi-threading.
OpenSHORE is a hypertext
repository that stores data about and described by documents. Access
to this information is provided as hypertext.
Java and Graphical Interfaces
These two packages, distributed separately from XSB, provide
different levels of interfacing XSB with the Java programming
XJ provides a way to program interfaces in XSB based on Java's
Swing, and on Interprolog.
Integrated Development Environment
The popular Eclipse toolset provides an open-source IDE that is
language independent. Through a plugin, it has been partially
tailored to support Prolog.
Eclipse Plugin for Prolog