XSB / News: Recent posts

XSB 3.1 (Incognito) released

Release was on August 30, 2007, but the news was not updated.

Posted by Theresa Swift 2007-12-09

XSB 3.0.1 (Sagres) released

General

Version 3.0 is a major rewriting of the XSB engine to support multi-threading and to include many new and improved features.
Major New Functionality

* The XSB engine has been entirely rewritten to allow a user to create and run multiple XSB threads within a single process on both Unix and Windows. Thread manipulation is based on the semantics of Posix threads, and includes major Posix-style operations such as detaching, joining, and canceling threads. The engine has been designed to allow hundreds of threads to execute concurrently, including asserting and retracting dynamic code, creating and abolishing tables, and performing I/O. To support this, dynamic predicates and tables are considered to be thread-private by default, but may also be declared to be shared among threads when appropriate.
* Improved garbage collection routines have been written to reclaim space for dynamic clauses, SLG tables, and Prolog atoms. Garbage collection for thread-private dynamic clauses and tables, can occur concurrently in multiple threads.
* XSB now supports 32-bit integer and 64-bit float computation by default.
* A new package, CHRd has been added. CHRd is an alternative implementation of Constraint Handling Rules, which uses a distributed storage of constraints and a set-based operational semantics. The distributed storage of constraints can lead to efficiencies when tabling predicates within a CHR framework. ... read more

Posted by Harpreet Singh 2006-07-26

XSB 2.7.1 (Kinryo) released

Version 2.7.1 is a minor release whose main changes are to support the
tagging required by newer versions of Linux, as well as to support
foreign language calls and packages on the Apple Macintosh. Other bug
fixes and functionality improvements have also been made.

* A new tagging scheme has been created to handle tagging on newer
versions of Linux. The choice of tagging is made automatically by XSB's
configuration mechanism.... read more

Posted by Harpreet Singh 2005-03-05

XSB 2.7 (Kinryo) released

After one year of constant development version 2.7 (Kinryo) of XSB, the tabled logic programming and deductive database system has been released.

The system is available from http://xsb.sourceforge.net/, in both source form and pre-compiled binaries for Windows.

See the release notes below for a list of outstanding changes and improvements.

- Harpreet Singh

Release Notes
XSB Version 2.7 (Kinryo)
--------------------------------------------------------------------------------
General... read more

Posted by Harpreet Singh 2004-12-30

XSB 2.6 (Duff) released

Hello,

after over one year of constant development, reflected mostly by a
noticeable improvement in stability, version 2.6 of XSB, the tabled
logic programming and deductive database system, is finally here!

The system is available from http://xsb.sourceforge.net/, in both
source form and pre-compiled binaries for Windows.

See the release notes below for a list of outstanding changes and
improvements.... read more

Posted by Luis Castro 2003-06-27

XSB 2.4 released

Version 2.4 of XSB, a tabled logic programming and deductive database
system has been released. You can find more information, and download
the system from

http://xsb.sourceforge.net/

Included below are the changes for this release.

_________________________________________________________________

Release Notes for Version 2.4

General

News... read more

Posted by Luis Castro 2001-07-13

XSB 2.3 Released

Version 2.3 of XSB, a tabled logic programming and deductive database
system has been released. You can find more information, and download
the system from

http://xsb.sourceforge.net/

Included below are the changes for this release.

=============================
Release Notes for Version 2.3
=============================

General
-------

A great number of bugs fixed, new features, performance
improvements.... read more

Posted by Michael Kifer 2001-02-24

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks