We are happy to announce a new release of
XSB, a tabled logic programming and deductive database system and
FLORA, an implementation of Transaction F-logic.
You can download both from http://xsb.sourceforge.net/
Included below are the changes for this release.
-----------------------------------------------------------------------------
Release Notes for Version 2.5
General
This is mostly a transitional release, where the major changes are the move
to use the SLGWAM engine as default, and the introduction of garbage
collection support for this engine. Also, several important memory management
related bugs have been fixed, increasing the system's stability considerably.
Important Note
This is the last release to support the Chat engine.
News
* SLGWAM stack management has been made the default rather than Chat. Chat
is still available through a configuration option.
* A new heap garbage collector, called indirect has been made the default
garbage collector for SLGWAM. In addition, the Chat sliding and copying
garbage collectors now also work on the SLGWAM configuration.
* New builtins round/2, ceil/2 and floor/2 for dealing with floating point
numbers added.
Bugfixes
* Several memory management related bugs fixed.
* Minor bug in Prolog debugger fixed.
* Fixed problem with NULL values and ODBC
FLORA News
Flora-2 is still a late alpha release, but there have been considerable
improvements in stability and speed. This release fixes many bugs, eliminates
some restrictions, and adds new features.
* The most important new feature is the ability to check for undefined
predicates and methods in debug mode (see the manual regarding checking
undefinedness checks). This feature simplifies debugging considerably.
* Flora compiler now checks if a tabled predicate depends on an update
operation and issues appropriate warnings. Such dependency is considered
to be a likely program bug.
* Numbered anonymous oids added (e.g., _#123). They behave like regular
anonymous oids (_#) in the sense that they are substituted by a new oid.
However, numbered oids can be referenced within the same clause (e.g., _#
12[self->_#12]).
* Optimized compilation of path expressions and nested terms.