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, Katholieke Universiteit Leuven, and Uppsala Universitet.

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

  • Project Summary
  • Downloads
  • Manuals: Volume 1 and Volume 2.
  • CVS 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 (Pignoletto) has been fully tested and is available. See the release notes here.

    Documentation:

  • The XSB download, which is frequently updated, includes the manuals in pdf format.
  • The xsbdoc Documentation Generator can be used for literate XSB programming: Postscript; PDF

    • Related Projects

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

  • YAJXB
  • Interprolog

    • XJ provides a way to program interfaces in XSB based on Java's Swing, and on Interprolog.

  • XJ

    • 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.23 2011/05/05 16:33:13 tswift Exp $