|start | find | index | login or register | edit|
by earl, 5285 days agoFrame 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."
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.
|earl.strain.at • esa3 • online for 7138 days • c'est un vanilla site|