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:

Other useful links:

visits since June 22, 1999.

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