Abstract
Partial evaluation is an optimization technique which aims at specializing general programs in order to improve their efficiency. Within the field of Logic Programming the technique is known as partial deduction. In this paper we generalize the concept of partial deduction so that it applies to the framework of Constraint Logic Programming (CLP). We also lift the main theoretical results on partial evaluation in Logic Programming to the CLP case, thus providing a formal foundation for partial evaluation of constraint logic programs.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
R.N. Bol. Loop checking in partial deduction. J. Logic Programming, 16(1&2):25–46, 1993.
M. Bruynooghe, D. De Shreye, and B. Martens. A general criterion for avoiding infinite unfolding during partial deduction of logic programs. New Generation Computing, 11(1):47–79, 1992.
K.L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293–322. Plenum Press, 1978.
A. Colmerauer. Equations and inequations on finite and infinite trees. In Proc. 2nd Int. Conf. on Fifth Generation Computer Systems, pages 85–99, 1984.
A. Colmerauer. Opening the Prolog III universe. Byte magazine, 12(9), August 1987.
J. Jaffar and J.-L. Lassez. Constraint Logic Programming. In Proc. 14th ACM Symp. on Principles of Programming Languages, pages 111–119. ACM Press, 1987.
J. Jaffar and J.-L. Lassez. From unification to constraints. In Proc. Conf. Logic Programming '87, LNCS 315, pages 1–18. Springer-Verlag, 1988.
J. Jaffar and M.J. Maher. Constraint Logic Programming: a survey. J. Logic Programming, 19/20:503–581, 1994.
J. Jaffar, S. Michaylov, P.J. Stuckey, and R.H.C. Yap. The CLP(R) language and system. ACM Transactions on Programming Languages and Systems, 14(3):339–395, 1992.
N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993.
H.J. Komorowski. A Specification of an Abstract Prolog Machine and its Application to Partial Evaluation. PhD thesis, Linköping University, Sweden, 1981. LSST Dissertations 69.
J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 2nd edition, 1987.
J.W. Lloyd and J.C Sheperdson. Partial evaluation in logic programming. J. Logic Programming, 11(3&4):217–242, 1991.
M.J. Maher. A logic programming view of CLP. In Proc. 10th Int. Conf. on Logic Programming, pages 737–753. MIT Press, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wrzos-Kaminska, A. (1996). Partial evaluation in Constraint Logic Programming. In: Raś, Z.W., Michalewicz, M. (eds) Foundations of Intelligent Systems. ISMIS 1996. Lecture Notes in Computer Science, vol 1079. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61286-6_135
Download citation
DOI: https://doi.org/10.1007/3-540-61286-6_135
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61286-5
Online ISBN: 978-3-540-68440-4
eBook Packages: Springer Book Archive