XSB / News: Recent posts

A major new version of XSB has been released. This version supports
an extremely efficient connection for XSB to call and be called by
Python. With XSB calling Python, interfaces have been made to
Elasticsearch, fastText and faiss, SpaCy, RDFlib (including hdt) and
several other packages. In addition, several Jupyter notebooks are
available interactively demonstrating how Python calls XSB.

Other important changes include: fixes for ARM chips have been made
for all platforms; a new robust and efficient JSON package, and
numerous changes to XSB's compiler to provide a uniform interface for
compilation and dynamic loading, to provide line numbers for syntax
errors, and several other features. Enhancements have been made in
XSB's libraries for dsv loading and writing, for random sampling of
solutions, and for Unicode support.

A new version of XSB has been released. This is a major release including:
* An important fix to support XSB on MacOSX Catalina**
* Tabling Improvements: New supporting incremental subsumptive tables' improvements in indexing subsumptive tables; scalability and robustness improvements for interned tables; and better support for inspecting and changing the tabling properties of a predicate; new support for the (weak) completion semantics.
* System library improvements: Numerous improvements and functionality extensions in a variety of I/O routines; improved loading and inspecting dynamic code; and improved speed through better compilation
* Packages: A new Minizinc interface, support for calling XSB from Python using PyXSB, Improvements in CSV-style I/O, in the prolog_db package, in PITA, XSB's package for probabilistic reasoning, and in the curl package.
* Hundreds of other smaller bug fixes and efficiency improvements.

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

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

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

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

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

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

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