Abstract
Contextual Logic Programming was proposed by Monteiro and Porto [4] as a means of bringing modularity to the Prolog language. It was improved upon as a practical extension in a high performance Prolog system by Abreu and Diaz [1], providing a program structuring mechanism as well as fulfilling some of Prolog’s shortcomings when used for programming in-the-large, namely by enabling an object-oriented programming style without relinquishing the expressiveness and semantic robustness of Logic Programs.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abreu, S.P., Díaz, D.: Objective: In Minimum Context. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 128–147. Springer, Heidelberg (2003)
ISO/IEC JTC1/SC22/WG17. Information technology – Programming languages – Prolog – Part 2: Modules. Technical Report DIS 13211, ISO (2000)
Miller, D.: A Proposal for Modules in λProlog. In: Dyckhoff, R. (ed.) ELP 1993. LNCS (LNAI), vol. 798, pp. 206–221. Springer, Heidelberg (1994)
Monteiro, L., Porto, A.: Contextual logic programming. In: Levi, G., Martelli, M. (eds.) Proceedings of the Sixth International Conference on Logic Programming, Lisbon, pp. 284–299. The MIT Press, Cambridge (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abreu, S., Nogueira, V. (2006). Towards Structured Contexts and Modules. In: Etalle, S., Truszczyński, M. (eds) Logic Programming. ICLP 2006. Lecture Notes in Computer Science, vol 4079. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11799573_38
Download citation
DOI: https://doi.org/10.1007/11799573_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36635-5
Online ISBN: 978-3-540-36636-2
eBook Packages: Computer ScienceComputer Science (R0)