F-logic
From Wikipedia, the free encyclopedia
F-logic (frame logic) is a knowledge representation- and ontology language. It accounts in a declarative fashion for structural aspects of object-oriented and frame-based languages. Features include, among others, object identity, complex objects, inheritance, polymorphism, query methods, encapsulation. F-logic stands in the same relationship to object-oriented programming as classical predicate calculus stands to relational database programming.
FLORA-2 is an extension of F-logic with HiLog and transaction logic.
[edit] See also
Michael Kifer
