F-logic

From Wikipedia, the free encyclopedia

You have new messages (last change).

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

[edit] External links

Retrieved from "http://en.wikipedia.org../../../f/-/l/F-logic.html"