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
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 Release
XSB
Version 3.1 was released on August 30, 2007. 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:
PDF: Volume 1 and Volume 2.
API Documentation
Other Documentation:
-
Package Documentation: The xsbdoc Documentation Generator.
Postscript;
PDF
-
Updated Manual for the CVS version of XSB:
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
Email: xsb-users@lists.sourceforge.net
Last modified: $Id: index.html,v 1.13 2007/10/06 15:51:52 tswift Exp $
