Skip to main content
SpringerLink
Log in

Combining object-oriented and logic paradigms: A modal logic programming approach

  • Conference paper
  • First Online:
ECOOP ’92 European Conference on Object-Oriented Programming (ECOOP 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 615))

Included in the following conference series:

Abstract

In this paper, a number of existing solutions and suggestions towards combining the object-oriented (OO) and logic programming paradigms have been briefly studied and categorized, and a sketch of a new solution has been proposed which tries to capture the essence of OO in terms of modal logic, and which could be implemented as a modal logic programming system.

The proposal is based on the belief that two orthogonal dimensions — object hierarchy and time — are involved in OO that in many respects are similar. For the one-dimensional (static) case, three logics — MU, MU′, and MU″ — have been designed, each allowing a different variety of inheritance modes. The two-dimensional (dynamic) case has been treated in a logic 2MU and its corresponding variants. Under certain OO-motivated definitions of Horn clause, the resolution calculi of these logics turn out to be complete.

The research reported in this paper was carried out at The Norwegian Institute of Technology (NTH) in Trondheim while holding a scholarship of the International Department of NTH.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. AÏt-Kaci and R. Nasr. LOGIN: A logic programming language with built-in inheritance. J. Logic Programming, 3(3):185–215, 1986.

    Article  Google Scholar 

  2. M. V. Biema, G. Q. Maquire, and S. Stolfo. The constraint-based paradigm: Integrating object-oriented and rule-based programming. In Proc. 23rd Annual HawaÏ Int'l Conf. on Syst. Sci., Kailua-Kona, Jan 1990, Vol 2, pp 358–66. Los Alamitos, CA: IEEE Comp. Soc. Press, 1990.

    Google Scholar 

  3. L. Catach. Normal multimodal logics. In AAAI-88: Proc. 7th Nat'l Conf. on AI, St Paul, Aug 1988, Vol 2, pp 491–5. 1988.

    Google Scholar 

  4. B.F.Chellas. Modal Logic: An Introduction. Cambridge, UK: Univ. Press, 1980.

    MATH  Google Scholar 

  5. W. Chen. A theory of modules based on second-order logic. In Proc. 1987 Symp. on Logic Programming, San Fransisco, Aug/Sept 1987, pp 24–33. Washington, DC: IEEE Comp. Soc. Press, 1987.

    Google Scholar 

  6. T. Chikayama. Unique features of ESP. In Proc. 1984 Int'l Conf. on 5th Gener. Comp. Syst., Tokyo, Nov 1984, pp 292–8. Amsterdam: North-Holland, 1984.

    Google Scholar 

  7. J. S. Conery. Logical objects. In Logical Programming: Proc. 5th Int'l Conf. and Symp., Seattle, Aug 1988, pp 420–34. Cambridge, MA: The MIT Press, 1988.

    Google Scholar 

  8. W. Chen and D. S. Warren. Objects as intensions. In Logical Programming: Proc. 5th Int'l Conf. and Symp., Seattle, Aug 1988, pp 404–19. Cambridge, MA: The MIT Press, 1988.

    Google Scholar 

  9. L. Fariñas del Cerro. MOLOG: A system that extends Prolog with modal logic. New Gener. Computing, 4(1):35–50, 1986.

    MATH  Google Scholar 

  10. K. Fukunaga and S. Hirose. An experience with a Prolog-based object-oriented language. In OOPSLA'86: OOP Syst., Lang. and Appl.: Conf. Proc., Portland, Sept/Oct 1986, pp 224–31. 1986. (SIGPLAN Notices, 21(11)).

    Article  Google Scholar 

  11. K. Furukawa et al. Mandala: A logic-based knowledge programming system. In Proc 1984 Int'l Conf. on 5th Gener. Comp. Syst., Tokyo, Nov 1984, pp 613–22. Amsterdam: North-Holland, 1984.

    Google Scholar 

  12. H. Gallaire. Merging objects and logic programming: Relational semantics. In AAAI-86: Proc. 5th Nat'l Conf. on AI, Philadelfia, Aug 1986, Vol 2, pp 754–8. Los Altos, CA: Morgan Kaufmann, 1986.

    Google Scholar 

  13. J. A. Goguen and J. Meseguer. Unifying functional, object-oriented and relational programming with logical semantics. In B. Shriver and P. Wegner, eds, Research Directions in Object-Oriented Programming, pp 417–77. Cambrdige, MA: The MIT Press, 1987.

    Google Scholar 

  14. J. A. Goguen and D. Wolfram. On types and FOOPS. In R. Meersman et al., eds., Object Oriented Databases: Analysis, Design and Construction, pp 1–22. Amsterdam: North-Holland, 1991.

    Google Scholar 

  15. M. Huber and I. Varsek. Extended Prolog for order-sorted resolution. In Proc. 1987 Symp. on Logic Programming, San Fransisco, Aug/Sept 1987, pp 34–43. Washington, DC: IEEE Comp. Soc. Press, 1987.

    Google Scholar 

  16. M. H. Ibrahim and F. A. Cummins. KSL/Logic: Integration of logic with objects. In Proc. 1990 Int'l Conf. on Comp. Lang., New Orleans, March 1990, pp 228–35. Los Alamitos, CA: IEEE Comp. Soc Press, 1990.

    Google Scholar 

  17. Y. Ishikawa and M. Tokoro. Concurrent object-oriented knowledge representation language Orient84/K: Its features and implementation. In OOPSLA'86: OOP Syst., Lang. and Appl.: Conf. Proc., Portland, Sept/Oct 1986, pp 232–41. 1986. (SIGPLAN Notices,21(11)).

    Article  Google Scholar 

  18. T. Koschmann and M. W. Evens. Bridging the gap between object-oriented and logic programming. IEEE Software, 5(5):36–42, 1988.

    Article  Google Scholar 

  19. H. Kauffmann and A. Grumbach. MULTILOG: MULtiple worlds in LOGic programming. In ECAI'86: Proc. 7th Europ. Conf. on AI, Brighton, July 1986, Vol 1, pp 291–305. 1986.

    Google Scholar 

  20. M. Kifer, G. Lausen and J. Wu. Logical foundations of object-oriented and frame-based languages. Technical Report 90/14, SUNY at Stony Brook, Dept. of Comput. Sci., August 1990.

    Google Scholar 

  21. K. Kahn et al. Vulcan: Logical concurrent objects. In B. Shriver and P. Wegner, eds, Research Directions in Object-Oriented Programming, pp 75–112. Cambridge, MA: The MIT Press, 1987.

    Google Scholar 

  22. L. Leonardi and P. Mello. Combining logic-and object-oriented programming language paradigms. In Proc. 21st Annual HawaÏ Int'l Conf. on Syst. Sci., Vol 2, pp 376–85. Washington, DC: IEEE Comp. Soc. Press, 1988.

    Google Scholar 

  23. E. Laenens, D. Vermeir, and B. Verdonk. LOCO, a Logic-based language for Complex Objects. In ESPRIT'89: Proc. 6th Annual Esprit Conf., Brussels, Nov/Dec 1989, pp 604–16. Dordrecht: Kluwer Acad. Publ., 1989.

    Google Scholar 

  24. F. McCabe. Logic and Objects. London: Imperial College, 1988.

    Google Scholar 

  25. F. Mellender. An integration of logic and object-oriented programming. SIGPLAN Notices, 23(10): 181–5, 1988.

    Article  Google Scholar 

  26. J. Meseguer. A logical theory of concurrent objects. In OOPSLA ECOOP '90 Proc: Conf. on OOP Syst., Lang. and Appl., Europ. Conf. on OOP, Ottawa, Oct 1990, pp 101–15. 1990. (SIGPLAN Notices, 20(10)).

    Article  Google Scholar 

  27. D. Miller. A theory of modules for logic programming. In Proc. 1986 Symp. on Logic Programming, Salt Lake City, Sept 1986, pp 106–14. Washington, DC: IEEE Comp. Soc. Press, 1986.

    Google Scholar 

  28. J. Malenfant, G. Lapalme, and J. Vaucher. ObjVProlog: Metaclasses in logic. In ECOOP'89: Proc. Europ. Conf. on OOP, Nottingham, July 1989, pp 257–69. Cambridge, UK: Univ. Press, 1989.

    Google Scholar 

  29. P. Mello and A. Natali. Objects as communicating Prolog units. In ECOOP'87: Proc. Europ. Conf. on OOP, Paris, June 1987, pp 181–92. Berlin: Springer-Verlag, 1987. (LNCS, 276).

    Google Scholar 

  30. C. Moss. An introduction to Prolog++. Research Report DOC 90/10, Imperial College, London, June 1990.

    Google Scholar 

  31. L. Monteiro and A. Porto. Semantic and syntactic inheritance in logic programming. Draft report, Departamento di Informatica, Universidade Nova de Lisboa, Dec 1990.

    Google Scholar 

  32. G. E. Mints and E. H. Tyugu. Prepositional logic programing and the PRIZ system. J. Logic Programming,9(3):179–93, 1990.

    Article  MathSciNet  Google Scholar 

  33. H. Nakashima. Knowledge representation in Prolog/KR. In Proc. 1984 Int'l Symp. on Logic Programming, Atlantic City, Feb 1984, pp 126–30. Silver Spring, MD: IEEE Comp. Soc. Press, 1984.

    Google Scholar 

  34. A. Oberschelp. Order-sorted predicate logic. In Sorts and Types in AI: Workshop Proc., Eringerfeld, April 1989, pp 8–17. Berlin: Springer-Verlag, 1989. (LNA1, 418).

    Google Scholar 

  35. E. Shapiro and A. Takeuchi. Object-oriented programming in Concurrent Prolog. New Gener. Computing, 1(1):25–48, 1983.

    Article  Google Scholar 

  36. T. Uustalu. Combination of object-oriented and logic paradigms. MSc Thesis, Tallinn Technical University, 1991.

    Google Scholar 

  37. J. Vaucher, G. Lapalme, and J. Malenfant. SCOOP: Structured Concurrent Object-Oriented Prolog. In ECOOP'88: Proc. Europ. Conf. on OOP, Oslo, Aug 1988, pp 191–211. Berlin: Springer-Verlag, 1988. (LNCS, 322).

    Google Scholar 

  38. C. Zaniolo. Object-oriented programming in Prolog. In Proc. 1984 Int'l Symp. on Logic Programming, Atlantic City, Feb 1984, pp 265–70. Silver Spring, MD: IEEE Comp. Soc. Press, 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Mathematics, Institute of Cybernetics, Estonian Acad. Sci., Akadeemia tee 21, EE-0108, Tallinn, Estonia

    Tarmo Uustalu

Authors
  1. Tarmo Uustalu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ole Lehrmann Madsen

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Uustalu, T. (1992). Combining object-oriented and logic paradigms: A modal logic programming approach. In: Madsen, O.L. (eds) ECOOP ’92 European Conference on Object-Oriented Programming. ECOOP 1992. Lecture Notes in Computer Science, vol 615. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053032

Download citation

  • DOI: https://doi.org/10.1007/BFb0053032

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55668-8

  • Online ISBN: 978-3-540-47268-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation