Home Research XSB System Contact Us

Welcome to the home of XSB!

XSB Logo

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 Knowlege Systems, Inc.

XSB is kindly hosted by Sourceforge. You can directly access the following resources from here:

  • XSB Portal
  • SVN 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 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).
  • Related Projects

    These are a few of many projects that use XSB (contact us if you would like yours added).

  • The 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 Transaction Logic.
  • 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

  • Interprolog 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
  • Acknowledgement of Support

    Email: xsb-users@lists.sourceforge.net
    Last modified: $Id: index.html,v 1.25 2012-08-12 16:28:58 tswift Exp $