##

This page is in pre-alpha state. Please excuse our appearance. Here is the blurb:

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 $