OLI(ID:2851/oli001)

for Object and Logic Integration

Multiparadigm programming language

Structures:
References:
  • Khaled Fouad Sayed Shaalan "Software Development Environment Based on Object-Oriented and Logic Programming Paradigms" (1995) view details Abstract: Software development environments are essential in today's world of growing software systems. Software development environment increases the productivity of software by providing better languages and better tools. Programming languages naturally play an essential role in the software development process. Finding more powerful and better suited language has been the aim of language designers ever since the dawn of computer programming.
  • Lee, J.H.M. and P.K.C. Pun. Object Logic Integration: a scheme for multiparadigm design and programming. In Proceedings of the Eighteenth International and Exhibition Technology of Object-Oriented Languages and Systems, pages 265--278, Melbourne, Australia, November 1995. view details External link: Online copy
  • Lee, J.H.M. and Pun, P.K.C. "An overview of the OLI multiparadigm programming language and its semantics" in Proceedings of the Third International Conference on Object-Oriented Information Systems, pp79-92, 1996 view details External link: Online copy Abstract: Lee and Pun outline the OLI language as an accompaniment of the OLI multiparadigm programming design methodology. The OLI language integrates the object-oriented and the logic programming paradigms with a precise and well-balanced interface so that each paradigm shares an equal and cooperating partnership in problem analysis and problem solving.
    An important property of OLI is that programmers can program either in one of the paradigms alone or in a mixed paradigm without sacrificing expressiveness and efficiency. In this paper, we give a formal definition of the OLI language and study its semantics both from the logical perspective and the object-oriented perspective. By viewing objects as an enrichment of the Herbrand universe, we define the declarative and operational semantics of OLI. We show that OLI?s operational semantics, a generalization of SLD-resolution, is sound and complete. From the object-oriented point of view, the logic part of OLI is simply an object with logic programs as states and methods for performing logical deduction.
  • Lee, J. H. M. and P. K. C. Pun (1997). "Object logic integration: A multiparadigm design methodology and a programming language" view details Abstract: In the past decade, there has been much research effort dedicated to combine the objectoriented programming paradigm and the logic programming paradigm. Most of this effort sheds light upon the philosophy of multiparadigm programming as a near ideal mental model for a wide class of problem domains. In this paper we propose a scheme for object and logic integration---the OLI scheme. This scheme contributes to the multiparadigm programming philosophy by putting forward a multiparadigm design
          in Computer Languages 23(1) view details