<html><head><title>Flora's Home Page </title></head>

<body background=/images/BGnds/paper_yellow.gif>
<a name="top">
<h2>
<pre>
<!--
<img align=middle src="images/flora.gif" width=180 height=130>
--->
</pre>
</h2>
<p>
<HR>

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

<p>
FLORA is a sophisticated F-logic to <a
href="http://www.cs.sunysb.edu/~sbprolog/xsb-page.html">XSB</a> 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.

<p>
At present, FLORA is in beta testing and the 1.0 release is expected in the
Fall. Here is the manual:
	<ul>
	  <li> <a href="docs/manual.ps">Postscript version</a>
	  <li> <a href="docs/manual.pdf">PDF version</a>
	</ul>

<p>
Other useful links:
<ul>
<li> <a href="http://www.informatik.uni-freiburg.de/~dbis/florid/">
    FLORID</a>: A C++-based implementation of F-logic from Freiburg University.
<li> <A href="http://www.dsic.upv.es/~pcarsi/tfl/">Transaction F-logic
  prototype</a> from the University of Valencia, Spain.
<li> <A href="http://www.cs.sunysb.edu/~kifer/dood/">The DOOD page</a>:
    additional links to information on Deductive and Object-Oriented
    Databases.
</ul>



<HR>
<P>
<?php include "../counter.php";    ?>
<?php $number = CounterImage(); ?>
<IMG SRC="<?php echo($number); ?>" ALIGN="left">
visits since July 9, 2000.
<P>

<hr>
<address>
Email:<a href="mailto:xsb-contact@cs.sunysb.edu">xsb-contact@cs.sunysb.edu</a>
</address>

<hr>
<p>
<!--Don't touch! The date gets updated when you commit changes to this page-->
$Date: 2000/08/23 16:43:17 $

</body>
</html>


