Florid - F-Logic Reasoner
FLORID (F-LOgic Reasoning In Databases) is a deductive object-oriented database system employing F-Logic as data definition and query language.
The development was supported by the Deutsche Forschungsgemeinschaft (project La 598/3-2). With the increasing interest in semistructured data, Florid has been extended for handling semistructured data in the context of Information Integration from the Semantic Web.
See also the LoPiX system for a migration of Florid to XML.
http://dbis.informatik.uni-freiburg.de/index.php?project=Florid