W3C home > Mailing lists > Public > www-rdf-comments@w3.org > January to March 2002

Release of FLORA and XSB

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Mon, 11 Mar 2002 21:06:52 -0500
Message-Id: <200203120206.VAA16129@sbcs.cs.sunysb.edu>
To: semanticweb@yahoogroups.com, www-rdf-interest@w3.org, www-rdf-logic@w3.org, www-rdf-comments@w3.org


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.
Received on Monday, 11 March 2002 21:10:09 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:30 GMT