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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Jin Zhi, Hu Shouren. SCKE: Combining logic- with object-oriented paradigm.Journal of Computer Science and Technology, 1993, 8(1): 38–48.
Jin Zhi. Researches on the new generation knowledge processing environment. Technical Report Ph.D. Dissertation, Computer Science Department, National University of Defence Technology Changsha, Hunan 410073, P.R. China, 1992.
Lloyd J W. Foundations of Logic Programming. Springer-Verlag, 1984.
Page T W, Jr. An object-oriented logic programming environment for modelling. Technical Report Ph.D. Dissertation, UCLA Computer Science Department, Los Angeles, CA90024-1596, 1989.
Mello P. Inheritance as combination of Horn clause theories. InProc. of the Workshop on Inheritance Hierarchies in Knowledge Representation and Programming Languages, February 6–8, 1989.
Brogi A, Lamma E, Mello P. A logic-based semantics for object-oriented programming. Personal Communication, 1991.
Gallaire H. Merging objects and logic programming: Relational semantics. InProc. of AAAI’86, Philadephia, USA, 1986.
McCabe F G. Logic and objects. Technical Report, Imperial College, 1990.
Andreoli J M, Pareschi R. Linear objects: Logical processes with built-in inheritance.New Generation Computing, 1991, 9: 445–473.
Ibrahim, Mamdouh H, Cumins F A. KSL/Logic: Integration of logic with objects. InProc. of IEEE Int’l Conf. on Computer Languages, New Orleans, Louisiana, 1990, pp. 228–235.
Brogi A, Lamma E, Mello P. Compositional model-theoretic semantics for logic programs.New Generation Computing, 1992, 11:1–21.
Fukunaga K, Hirose S. An experience with a Prolog-based object-oriented language. InProc. of OOPSLA’86, ACM Press OR, 1986.
Kaufman H, Grumbach A. Multilog: Multiple worlds in logic pogramming. InProc. of ECAI’86, North-Holland, 1986.
Zhi Jinet al. SCKE (an object-oriented Prolog) reference manual. Technical Report, National University of Defence Technology, Changsha, China, 1992.
de Bakker J, de Roever W, Rozenberg G (Eds.). Foundations of the Object-Oriented Languages. LNCS 489, Springer-Verlag, 1991.
Author information
Authors and Affiliations
Additional information
Research supported by the National Natural Science Fundation of China.
Jin Zhi received her B.S. degree in computer science from Zhejiang University in 1984 and her M.S. and Ph.D. degrees in computer science from Changsha Instutite of Technology, Changsha, China, in 1987 and 1992, respectively. Then she did her postdoctorial research in The Institute of Mathematics, The Chinese Academy of Science from September 1992 to July 1994. Now, she is a research fellow in the Department of Computer Science of the Institute of Mathematics. Her research interests include knowledge engineering & software engineering, object-oriented paradigm, logic programming language, non-monotonic inference, and especially the theoretical and practical aspects of extentions of the knowledge programming languages.
Rights and permissions
About this article
Cite this article
Jin, Z. The structure and semantics of an object-oriented logic programming language: SCKE. J. of Comput. Sci. & Technol. 10, 74–84 (1995). https://doi.org/10.1007/BF02939524
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02939524