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
Lisboa, XSB Inc.,
and Coherent Knowlege Systems,
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.5 has been
fully tested and is available (July 5, 2014). See the
release notes here.
The XSB download, which is frequently updated, includes the
manuals in pdf format.
The xsbdoc Documentation Generator can be used for
literate XSB programming (PDF).
These are a few of many projects that use XSB (contact
us if you would like yours added).
Episto Platform is a next-generation inference engine with axioms
and facts enterable via English.
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
Logtalk is an open source object-oriented
logic programming language that can make use of multi-threading.
XMC is the main
product of the
Logic-based Model Checking project.
Java and Graphical Interfaces
distributed separately from XSB, 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
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
Last modified: $Id: index.html,v 1.25 2012-08-12 16:28:58 tswift Exp $