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 the Computer Science Department of the Stony Brook University, in collaboration with Katholieke Universiteit Leuven, Universidade Nova de Lisboa, Uppsala Universitet and XSB, Inc.

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 Release

    XSB Version 2.7.1 was released on March 5, 2005. See the release notes here.

    You can browse Volume 1 and Volume 2 of the XSB Programmers' Manual online, or download them in the following formats:

  • Compressed Postscript: Volume 1 and Volume 2.
  • PDF: Volume 1 and Volume 2.
  • Other Documentation:

    • Related Projects

    These are related projects that use and are distributed with XSB.

  • 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 main product of the Logic-based Model Checking project.

    • Java Interfaces

    These two packages, distributed separately from XSB, provide different levels of interfacing XSB with the Java programming language.

  • YAJXB
  • Interprolog

    • Acknowledgement of Support

    Email: xsb-users@lists.sourceforge.net
    Last modified: Mon Jun 23 15:03:11 EDT 2003