Information AboutF-logic |
| CATEGORIES ABOUT F-LOGIC | |
| knowledge representation | |
|
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. SEE ALSO Michael Kifer EXTERNAL LINKS
|
|
|