Startseite des Instituts für Informatik, Universität Freiburg

Michael Kifer, Georg Lausen, James Wu

Logical Foundations of Object Oriented and Frame Based Languages (275K)


We propose a novel formalism, called Frame 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.

Categories and Subject Descriptors: H.2.1 [Database Management]: Languages - query languages; I.2.3 [Artificial Intelligence]: Deduction and theorem proving - deduction, logic programming, nonmonotonic reasoning; F.4.1 [Mathematical Logic and Formal Languages]: Mathematical logic - logic programming, mechanical theorem proving

General Terms: Languages, Theory

Additional Key Words and Phrases: Object-oriented programming, frame-based languages, deductive databases, logic programming, semantics, proof theory, typing, nonmonotonic inheritance

Journal of ACM 1995, vol. 42, p. 741-843

A previous version is available as
Technical Report 93/06, April 1993 (revised: March 1994)
Department of Computer Science
SUNY at Stony Brook
Stony Brook, NY 11794

[dbis]     [IIF].