The structure and semantics of an object-oriented logic programming language: SCKE

Zhi Jin

Abstract: The development of the object-oriented paradigm has suffered from the lack of any generally accepted formal foundations for its semantic definition. To address this issue, we propose the development of the logic-based semantics of the object-oriented paradigm. By combining the logic- with the object-oriented paradigm of computing first, this paper discusses formally the semantics of a quite purely object-oriented logic paradigm in terms of proof theory, model theory and fixpoint theory from the viewpoint of logic. The operational and declarative semantics is given. And then the correspondence between soundness and completeness has been discussed formally.