start | find | index | login or register | edit
by earl, 5680 days ago
Frame Logic

"F-Logic is a deductive, object oriented database language which combines the declarative semantics and expressiveness of deductive database languages with the rich data modelling capabilities supported by the object oriented data model."
-- Ontoprise F-Logic Tutorial

A frame-based logical formalism presented in "Logical Foundations of Object-Oriented and Frame-Based Languages", by Michael Kifer, Georg Lausen and [create James Wu].

F-Logic implementations include FLORID, TRIPLE, FLORA-2 and the commercial Ontoprise Ontobroker.
powered by vanilla
echo earlZstrainYat|tr ZY @. • esa3 • online for 7533 days • c'est un vanilla site