New release of FLORA-2

We are happy to announce the launch of a new Web site and a new release of
FLORA-2 --- a deductive frame-based language for knowledgebase programming.
Details can be found at http://flora.sourceforge.net

Release Notes for Version 0.88 (Phalaenopsis intermedia)

General

This release introduces a number of new features, improves
performance, and stability. The main highlights are significantly
faster compilation and improved support for reified statements. Some
new features, such as the interface to CLPR constraint solving
requires the latest version of XSB (from the CVS repository). It is also
required, if you want to run FLORA-2 under Windows. 

News

 - Many bug fixed and many new features. 
 - Significantly reduced compilation time for some programs. 
 - The new token _@, which denotes the current FLORA module. 
 - The new @prologall() module specification, which automatically
   converts the arguments of Prolog calls between the FLORA and
   Prolog representation as needed. 
 - The new reification operator ${...}. Say, x[m-> ${a[b->c]}] will reify
   the formula a[b->c]. This is in addition to the previously available
   meta-argument specification (called "bform" before and now
   changed to "meta"). 
 - New syntax: ..., {constraint},... which allows Flora programs to use
   the CLPR constraint solver of XSB. 

Bugfixes

 - Works again under Windows. 
 - Numerous other small bugs. 

Backward Incompatibility

 - The predicate flThisModule/1 has been deprecated. Use the
   literal _@ to refer to the current module. This is more convenient
   and faster. 
 - The bform argument specifier is now called meta.

Received on Saturday, 8 June 2002 20:27:08 UTC