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
  • XSB Released software
  • 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 Full Release

    XSB Version 3.2 (Kopi Lewak) has been fully tested and was released on March 15, 2009. See the release notes here.

    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: Postscript; PDF

    • Related Projects

    These are a few open-source projects that use XSB (contact us if you would like yours added).

  • 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.18 2009/03/11 22:26:46 tswift Exp $