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.
References
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.
M.L. Ginsberg and D.E. Smith. Reasoning about action (i+ii)-Artificial Intelligence, 35(2+3), 1988.
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.
R.A. Kowalski and M.J. Sergot. A logic-based calculus of events. New Generation Computing, 4:67–95, 1986.
P.M. Hill and J.W. Lloyd. Meta-programming for dynamic knowledge bases, December 1988. CS-88-18, Dept. Comp. Sci., University of Bristol.
W. Chen. A theory of modules based on second order logic. In Proc. IEEE Int. Symp. Logic Programming, pages 24–33. IEEE, 1987.
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.
Jan Grabowski and Wolfgang Müller. Introduction to PROPEL (Version 1.0), August 1990. Informatik-Preprint. Humboldt-Universität zu Berlin.
Author information
Authors and Affiliations
Editor information
Rights 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