Logical foundations of object-oriented and frame-based languages
Michael Kifer, Georg Lausen low, James C. Wu low
We propose a novel formalism, calledFrame Logic(abbr., F-logic), that accounts in a clean and declarative fashion for most of the structural aspects of object-oriented and frame-based languages. These features include object identity, complex objects, inheritance, polymorphic types, query methods, encapsulation, and others. In a sense, F-logic stands in the same relationship to the object-oriented paradigm as classical predicate calculus stands to relational programming. F-logic has a model-theoretic semantics and a sound and complete resolution-based proof theory. A small number of fundamental concepts that come from object-oriented programming have direct representation in F-logic; other, secondary aspects of this paradigm are easily modeled as well. The paper also discusses semantic issues pertaining to programming with a deductive object-oriented language based on a subset of F-logic.
Citation edge evidence
- Knowledge engineering: Principles and methods→Logical foundations of object-oriented and frame-based languagesLegacy edge — source detail unavailable
- Logical foundations of object-oriented and frame-based languages→A FRAMEWORK FOR REPRESENTING KNOWLEDGELegacy edge — source detail unavailable
- Logical foundations of object-oriented and frame-based languages→The stable model semantics for logic programmingLegacy edge — source detail unavailable
- Logical foundations of object-oriented and frame-based languages→Programming in PrologLegacy edge — source detail unavailable
- Logical foundations of object-oriented and frame-based languages→The well-founded semantics for general logic programsLegacy edge — source detail unavailable
- Logical foundations of object-oriented and frame-based languages→Foundations of logic programming; (2nd extended ed.)Legacy edge — source detail unavailable
- Logical foundations of object-oriented and frame-based languages→Symbolic Logic and Mechanical Theorem ProvingLegacy edge — source detail unavailable
- The well-founded semantics for general logic programs→The stable model semantics for logic programmingLegacy edge — source detail unavailable
- The well-founded semantics for general logic programs→Foundations of logic programming; (2nd extended ed.)Legacy edge — source detail unavailable
What this paper cites, inside the corpus
| Paper | Year | Cited |
|---|---|---|
| A FRAMEWORK FOR REPRESENTING KNOWLEDGE | 1988 | 4,554 |
| The stable model semantics for logic programming | 1988 | 3,428 |
| Programming in Prolog | 1984 | 1,761 |
| The well-founded semantics for general logic programs | 1991 | 1,691 |
| Foundations of logic programming; (2nd extended ed.) | 1987 | 1,514 |
| Symbolic Logic and Mechanical Theorem Proving | 1973 | 1,476 |
What cites it, inside the corpus
| Paper | Year | Cited |
|---|---|---|
| Knowledge engineering: Principles and methods | 1998 | 3,632 |
Links
Download BibTeX · Download RIS · DOI · Open access copy · OpenAlex record
Topics
| Logic, programming, and type systems | Computer Science |
| Logic, Reasoning, and Knowledge | Computer Science |
| Formal Methods in Verification | Computer Science |
Is this record sound?
complete
Nothing in this record contradicts itself and no field we check is missing.
- supports3 author record(s) attached.
- supports108 reference(s) recorded.
- neutralThe DOI carries no year to check against.
- supportsA title is present.
Provenance
sha256 88a60cdbb94c6a13…