LogiC(ID:6626/log005)

Hybrid logical OO language
References:
  • Wu S., Integrating Logic and Object-Oriented Programming, OOPS MESSENGER, 2(1):28--37, July 1991 view details
  • Placer, John "The promise of multiparadigm languages as pedagogical tools" pp81-86 view details
          in [ACM] Proceedings of the 1993 ACM Conference on Computer Science March 1993 view details
  • 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 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.
          in [ACM] Proceedings of the 1993 ACM Conference on Computer Science March 1993 view details