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.

F-logic based Languages

See also

Michael Kifer

External links

Search another word or see F-logicon Dictionary | Thesaurus |Spanish
Copyright © 2015 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature