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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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.
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.
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.
Rapid Prototyping. Computer. Vol. 22 No 5, IEEE Computer Society, May 1989.
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.
D. Miller, A Theory of Modules Jor logic Programming, Proceedings 1986 International Symposium on Logic Programming. 1986.
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.
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.
Swedish Institute of Computer Science, SICStus Prolog User's Manual Kista, Sweden, 1993.
Author information
Authors and Affiliations
Editor information
Rights 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