Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Meta-Programming in Logic

META 1992: Meta-Programming in Logic pp 336–351Cite as

Metaprograms for change, assumptions, objects, and inheritance

  • Conference paper
  • First Online:

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

Abstract

The effects of database updates, context switches, and the introduction of reusable components to declarative programming are given concise explanations in terms of many-sorted logical metaprograms, in a way that supports concurrent execution of goals. The details of this approach can be realized in many ways; we present one of them for discussion. Possible applications are: reasoning with assumptions, self-modifying programs, object oriented structures in declarative programming, distributed knowledge bases. The method is presented for logic programming but not inherently restricted to this field.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P.M. Hill and J.W. Lloyd. Analysis of meta-programs, June 1988. (Revised January 1989.) CS-88-08, Dept. Comp. Sci., University of Bristol.

    Google Scholar 

  2. M.L. Ginsberg and D.E. Smith. Reasoning about action (i+ii)-Artificial Intelligence, 35(2+3), 1988.

    Google Scholar 

  3. J. McCarthy and P.J. Hayes. Some philosophical problems from the standpoint of Artificial Intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463–502. Edinburgh University Press, 1969.

    Google Scholar 

  4. R.A. Kowalski and M.J. Sergot. A logic-based calculus of events. New Generation Computing, 4:67–95, 1986.

    Google Scholar 

  5. P.M. Hill and J.W. Lloyd. Meta-programming for dynamic knowledge bases, December 1988. CS-88-18, Dept. Comp. Sci., University of Bristol.

    Google Scholar 

  6. W. Chen. A theory of modules based on second order logic. In Proc. IEEE Int. Symp. Logic Programming, pages 24–33. IEEE, 1987.

    Google Scholar 

  7. L. Monteiro and A. Porto. Contextual logic programming. In G. Levi and M. Martelli, editors, Proc. Sixth International Conference on Logic Programming, pages 284–302. MIT Press, Cambridge, 1989.

    Google Scholar 

  8. Jan Grabowski and Wolfgang Müller. Introduction to PROPEL (Version 1.0), August 1990. Informatik-Preprint. Humboldt-Universität zu Berlin.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Statistik und Informatik, Universität Wien, Liebiggasse 4, A-1010, Wien

    Jan Grabowski

Authors
  1. Jan Grabowski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

A. Pettorossi

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Grabowski, J. (1992). Metaprograms for change, assumptions, objects, and inheritance. In: Pettorossi, A. (eds) Meta-Programming in Logic. META 1992. Lecture Notes in Computer Science, vol 649. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56282-6_23

Download citation

  • DOI: https://doi.org/10.1007/3-540-56282-6_23

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-47505-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation