FLORA is a sophisticated F-logic to XSB compiler. It supports all features of F-logic, except type checking, and provides many extensions that make it a powerful programming platform. FLORA is seamlessly integrated with the XSB programming environment, which enables the development of large systems with components implemented in F-logic, Prolog, C, etc.

At present, FLORA is in beta testing and the 1.0 release is expected in the Fall. Here is the manual:

• Postscript version
• PDF version

Other useful links:

• FLORID: A C++-based implementation of F-logic from Freiburg University.
• Transaction F-logic prototype from the University of Valencia, Spain.
• The DOOD page: additional links to information on Deductive and Object-Oriented Databases.

visits since June 22, 1999.

$Date: 1999/09/06 17:32:39 $