F-logic

<p>F-logic (Frame logic) is a <a href="/facts/Knowledge_representation/9lnzyILD">knowledge representation</a> and <a href="/facts/Ontology_language/yXLTb2z3">ontology language</a>. It combines the advantages of conceptual modeling with <a href="/facts/Object-oriented_programming/TxNMEcao">object-oriented</a>, <a href="/facts/Frame_(artificial_intelligence)/YnQaR34X">frame</a>-based languages, and offers a <a href="/facts/Declarative_programming/gogtdzcJ">declarative</a>, compact and simple <a href="/facts/Syntax_(programming_languages)/zM5oInza">syntax</a>, and the well-defined semantics of a <a href="/facts/Logic_programming/Xgh8lj3F">logic programming</a> language. 
</p><p>Features include, among others, object identity, complex objects, <a href="/facts/Inheritance_(object-oriented_programming)/a7R1xv8n">inheritance</a>, <a href="/facts/Polymorphism_(computer_science)/S3cCKsVT">polymorphism</a>, query methods, <a href="/facts/Encapsulation_(computer_programming)/kzDnbHPe">encapsulation</a>. F-logic stands in the same relationship to <a href="/facts/Object-oriented_programming/TxNMEcao">object-oriented programming</a> as classical <a href="/facts/Relational_calculus/HRBgfeqR">relational calculus</a> stands to <a href="/facts/Relational_database/pEKGmJLy">relational database</a> programming.
</p>

F-logic open-in-new

F-logic