Release Notes for Version 2.2

General

News

New Packages

Backward Incompatibility

Bug Fixes


Release Notes for Version 2.1

General

News

Process management API: XSB can now spawn subprocesses and capture their standard I/O into XSB streams. This allows XSB to communicate with other processes. See XSB Manual, Voulume 2, Communication with Subprocesses.

XSB preprocessor: There is now a compiler option, xpp_on, which tells the XSB compiler to put the source through a preprocessor. The default is gpp, a powerful preprocessor that understands both C and Prolog syntax.

High-level C interface: XSB can now automatically generate wrappers for the most common C functions. Such functions can now be simply declared using compiler directives and then be called from XSB.

Enhancements to the sockets interface: New calls such as socket_set_option, socket_select,, etc. Certain socket calls and file I/O calls can be timed-out.

I/O enhancements: There are several additions to the low-level I/O library, such as file_clone, file_reopen, pipe_open. Certain socket calls and file I/O calls can be timed-out.

New section on string manipulation in manual part 2: Some of the predicates described there are old (but weren't documented) and some are new.

Call changes: New calls: number_digits/2, number_codes/2, atom_codes/2 replace atom_chars/2 and number_chars/2.

Atom length: Atom length in compiled code is no longer limited to 255. The 255 limit on the size of ldoptions directive in the Foreign C interface has been removed as well.

Debugger enhancements: Many additional options: profiling, verbose skip, extensive trace control facility.

New Packages

sModels: Implements stable model semantics.

Backward Incompatibility


Release Notes for Version 2.0

General

XSB Version 2.0 offers a more flexible handling of dynamic code. XSB now also includes a number of preprocessors that allow it to efficiently evaluate powerful formalisms such as F-logic, Annotated logic, and the well-founded semantics with explicit negation. Finally, XSB 2.0 provides various packages for regular expression and wildcard matching.

 Large parts of XSB have been rewritten for this release, especially  memory management, and representation of tabled clauses.  The result is a more robust system with improved functionality that is more suitable for use in commercial and large-scale research development.
 

Added support for InterProlog, a Java front-end enhancement for Prolog

Packages

Version 2.0 of XSB includes the following packages:

Backward Incompatibility

The following incompatible changes have been made in XSB Version 2.0:



Feedback: The XSB Development Team

$Date: 2000/04/21 14:35:27 $