F-Logic
by earl, 6594 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.
search
3 active users
- unknown (3)
recent stores (more)
echo earlZstrainYat|tr ZY @.
