Objects in a logic programming framework | SpringerLink
Skip to main content
Springer Nature Link
Log in

Objects in a logic programming framework

  • Conference paper
  • First Online:
Logic Programming

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 592))

Abstract

Some basic notions of object-oriented programming such as objects, messages and inheritance are provided of a clean definition according to the logic programming paradigm. Objects are represented by logic theories, while inheritance mechanisms are expressed through meta-level axioms. The sending of a message is interpreted as a request for the proof of a formula. The main contribution of the paper is to provide a clean semantic characterization for these notions defining both a proof-theory and a compositional model-theory.

Work partially supported by CNR “Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo”.

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.

Similar content being viewed by others

References

  1. H. Ait-Kaci and R. Nasr. Login: a logic programming language with built-in inheritance. Journal of Logic Programming, 3:182–215, 1986.

    Google Scholar 

  2. J.M. Andreoli and R. Pareschi. Linear objects: logical processes with built-in inheritance. In D.H.D. Warren and P. Szeredi, editors, Proc. Seventh International Conference on Logic Programming, pages 495–510. The MIT Press, 1990.

    Google Scholar 

  3. A. Brogi, E. Lamma, and P. Mello. Open Logic Theories. In Proceedings of Second Workshop on Extensions of Logic Programming. Kista, January 1991.

    Google Scholar 

  4. A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Composition Operators for Logic Theories. In J.W. Lloyd, editor, Computational Logic, Symposium Proceedings, pages 117–134. Springer-Verlag, Brussels, November 1990.

    Google Scholar 

  5. A. Brogi and F. Turini. Metalogic for Knowledge Representation. In J.A. Allen, R. Fikes, and E. Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference, pages 100–106, Cambridge, CA, 1991. Morgan Kaufmann.

    Google Scholar 

  6. W. Chen and D.H. Warren. Objects as intensions. In R. A. Kowalski and K. A. Bowen, editors, Proc. Fifth International Conference on Logic Programming. The MIT Press, 1988.

    Google Scholar 

  7. J.S. Conery. Logical objects. In R. A. Kowalski and K. A. Bowen, editors, Proc. Fifth International Conference on Logic Programming, pages 420–434. The MIT Press, 1988.

    Google Scholar 

  8. K. Furukawa et al. Mandala: A logic based knowledge programming system. In Proc. Int'l Conf. FGCS-84, Tokyo (J), 1984.

    Google Scholar 

  9. K. Fukunaga and S. Hirose. An experience with a Prolog-based object-oriented language. In Proceedings of OOPSLA-86. ACM Press, Portland (Oregon), 1986.

    Google Scholar 

  10. H. Gallaire. Merging objects and logic programming: Relational semantics. In AAAI-86 Conference Proceedings, 1986.

    Google Scholar 

  11. A. Goldberg and D. Robson. Smalltalk-80, The Language and its Implementation. Addison Wesley, 1983.

    Google Scholar 

  12. J. Hodas and D. Miller. Representing objects in a logic programming language with scoping constructs. In D.H.D. Warren and P. Szeredi, editors, Proc. Seventh International Conference on Logic Programming. The MIT Press, 1990.

    Google Scholar 

  13. F.G. McCabe. Logic and Objects. PhD thesis, University of London, November 1988.

    Google Scholar 

  14. P. Mello. Inheritance as combination of Horn clause theories. In D. Lenzerini, D. Nardi, and M. Simi, editors, Inheritance Hierarchies in Knowledge Representation. J. Wiley and Sons, 1991.

    Google Scholar 

  15. P. Mello and A. Natali. Objects as Communicating Prolog Units. In Proceedings of ECOOP 87, number 276 in LNCS. Springer-Verlag, 1987.

    Google Scholar 

  16. L. Monteiro and A. Porto. A transformational view of inheritance in logic programming. In D.H.D. Warren and P. Szeredi, editors, Proc. Seventh International Conference on Logic Programming. The MIT Press, 1990.

    Google Scholar 

  17. R. Reiter. On closed world data bases. In H. Gallaire and J.Minker, editors, Logic and Data Bases. Plenum, 1978.

    Google Scholar 

  18. M.H. van Emden and R.A. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23(4):733–742, 1976.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56125, Pisa, Italy

    Antonio Brogi

  2. DEIS, Università di Bologna, Viale Risorgimento 2, 40136, Bologna, Italy

    Evelina Lamma & Paola Mello

Authors
  1. Antonio Brogi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Evelina Lamma
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Paola Mello
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

A. Voronkov

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Brogi, A., Lamma, E., Mello, P. (1992). Objects in a logic programming framework. In: Voronkov, A. (eds) Logic Programming. Lecture Notes in Computer Science, vol 592. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55460-2_8

Download citation

  • DOI: https://doi.org/10.1007/3-540-55460-2_8

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-47083-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation