Abstract
We discuss a modular extension to logic programming with built-in mechanisms for inheritance and message passing. The definition of inheritance we consider encompasses the two mechanisms known in the literature as static and dynamic inheritance. The significance of this extension has been addressed in the recent literature. In this paper the emphasis is primarily on the implementation. We describe an extension of the WAM which supports these new mechanisms, and we outline the current implementation together with some optimizations. We then compare our system with an alternative implementation which translates to Prolog and discuss the results.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
H. Aït-Kaci. Warren’s Abstract Machine: a Tutorial Reconstruction. MIT Press, 1991.
A. Bossi, M. Bugliesi, G. Gabbrielli, G. Levi, and M. C. Meo. Differential Logic Programs. In Proceedings of 20th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 359–370, Charleston SC, January 1993.
A. Brogi, E. Lamma, and P. Mello. Objects in a Logic Programming Framework. In Proceedings First and Second Russian Conference on Logic Programming Lecture Notes in Artificial Intelligence 592, pages 102–113, Springer-Verlag, 1992.
M. Bugliesi. A Declarative View of Inheritance in Logic Programming. In Proceedings of Joint International Conference and Symposium on Logic Programming, pages 113–127, MIT Press, Washington D.C., November 1992.
S. Debray. Implementing Logic Programming Systems: The Quice-Eating Approach. In this volume.
E. Denti, E. Lamma, P. Mello, A. Natali, and A. Omicini. Techniques for Implementing Contexts in Logic Programming. In E. Lamma and P. Mello, editors, Extensions of Logic Programming Lecture Notes in Artificial Intelligence 660, pages 339–358, Springer-Verlag, February 1992.
E. Denti, A. Natali and A. Omicini. From Modules to Structured Theories and Logic Objects: a Common “program-based” run-time Support. In this volume.
A. M. Dias. An Implementation of a Contextual Logic Programming System. Ms Thesis — Computer Science Department Universidade Nova de Lisboa (in Portuguese), Lisbon, 1990.
B. Jayaraman and G. Nadathur. Implementation Techniques for Scoping Constructs in Logic Programming. In Proceedings of the 8th International Conference on Logic Programming, pages 871–886, MIT Press, Paris, 1991.
E. Lamma, P. Mello, and A. Natali. An Extended Warren Abstract Machine for the Execution of Structured Logic Programs. Journal of Logic Programming, (14):187–222, 1992.
M. Meier and J. Schimpf. An Architecture for Prolog Extension. In E. Lamma and P. Mello, editors, Extensions of Logic Programming Lecture Notes in Artificial Intelligence 660, pages 319–338, Springer-Verlag, February 1992.
F. G. McCabe. Logic and Objects. Language, Application and Implementation. PhD Thesis, Department of Computing, Imperial College of Science and Technology, University of London, 1988.
D. Miller. A Logical Analysis of Modules in Logic Programming. Journal of Logic Programming, 6(2):79–108, 1989.
L. Monteiro and A. Porto. Contextual Logic Programming. In Proceedings 6th International Conference on Logic Programming, pages 284–302, MIT Press, Lisbon, June 1989.
L. Monteiro and A. Porto. A Transformational View of Inheritance in Logic Programming. In Proceedings 7th International Conference on Logic Programming, pages 481–494, MIT Press, June 1990.
Swedish Institute of Computer Science, Kista, Sweden. SICStus Prolog User’s Guide, 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer Science+Business Media New York
About this chapter
Cite this chapter
Bugliesi, M., Nardiello, G. (1994). SelfLog: Language and Implementation. In: Tick, E., Succi, G. (eds) Implementations of Logic Programming Systems. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-2690-2_1
Download citation
DOI: https://doi.org/10.1007/978-1-4615-2690-2_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-6157-2
Online ISBN: 978-1-4615-2690-2
eBook Packages: Springer Book Archive