Skip to main content
SpringerLink
Log in

Objects with state in contextual logic programming

  • Conference paper
  • First Online:
Progamming Language Implementation and Logic Programming (PLILP 1993)

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

Abstract

The amalgamation of object-oriented concepts into the logic programming paradigm represents a promising approach to the exploitation of prototyping techniques for building complex software systems. Starting from the CSM implementation of contextual logic programming, an extension path toward object-oriented abstractions and mechanisms is proposed. In particular, the state modification issue is addressed by making a clear distinction between deductive and updating phases.

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. A. Brogi. E. Lamma. P. Mello. A General Framework for Structuring Logic Programs, C.N.R. Technical Report “Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo”, No 4/1. May 1990.

    Google Scholar 

  2. A. Brogi, F. Turini. Metalogic for Slate Oriented Programming, in E. Lamma. P. Mello (eds.), “Extension of Logic Programming”, WELP 92, LNAI 660, Springer-Verlag. Heidelberg, Germany. 1993.

    Google Scholar 

  3. E. Denti, A. Natali, A. Omicini, From Modules to Structured Theories and Logic Objects: a Common “Program-based” Run-time Support. Proceedings of the Workshop on Practical Implementations and Systems Experience in Logic Programming. Budapest, Hungary. June 1993.

    Google Scholar 

  4. Rapid Prototyping. Computer. Vol. 22 No 5, IEEE Computer Society, May 1989.

    Google Scholar 

  5. M. Meier, A. Aggoun, D. Chan, P. Dufresne, R. Enders, D.H. De Villeneuve. A. Herold. P. Kay, B. Perez. E. Van Rossum, J. Schrimpf, SEPIA — an extendible Prolog system, Proceedings of the11th IFIP 89, San Francisco, August 1989.

    Google Scholar 

  6. D. Miller, A Theory of Modules Jor logic Programming, Proceedings 1986 International Symposium on Logic Programming. 1986.

    Google Scholar 

  7. L. Monteiro, A. Porto, Contextual Logic Programming, in G. Levi, M. Martelli (eds.). Proceedings of the 6th International Conference on Logic Programming, The MIT Press, Cambridge (USA), 1989.

    Google Scholar 

  8. F. Nihah Kesim, M. Sergot. On the Evolution of Objects in a Logic Programming Framework, Proceedings of the International Conference on Fifth Generation Computer Systems 1992, ICOT 1992.

    Google Scholar 

  9. Swedish Institute of Computer Science, SICStus Prolog User's Manual Kista, Sweden, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DEIS, Università di Bologna viale Risorgimento, 2 40136, Bologna, Italy

    Antonio Natali & Andrea Omicini

Authors
  1. Antonio Natali
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrea Omicini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Maurice Bruynooghe Jaan Penjam

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Natali, A., Omicini, A. (1993). Objects with state in contextual logic programming. In: Bruynooghe, M., Penjam, J. (eds) Progamming Language Implementation and Logic Programming. PLILP 1993. Lecture Notes in Computer Science, vol 714. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57186-8_81

Download citation

  • DOI: https://doi.org/10.1007/3-540-57186-8_81

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57186-5

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation