Skip to main content
SpringerLink
Log in

Partial evaluation in Constraint Logic Programming

  • Communications Session 1A Knowledge Representation
  • Conference paper
  • First Online:
Foundations of Intelligent Systems (ISMIS 1996)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1079))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R.N. Bol. Loop checking in partial deduction. J. Logic Programming, 16(1&2):25–46, 1993.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. K.L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293–322. Plenum Press, 1978.

    Google Scholar 

  4. A. Colmerauer. Equations and inequations on finite and infinite trees. In Proc. 2nd Int. Conf. on Fifth Generation Computer Systems, pages 85–99, 1984.

    Google Scholar 

  5. A. Colmerauer. Opening the Prolog III universe. Byte magazine, 12(9), August 1987.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. J. Jaffar and J.-L. Lassez. From unification to constraints. In Proc. Conf. Logic Programming '87, LNCS 315, pages 1–18. Springer-Verlag, 1988.

    Google Scholar 

  8. J. Jaffar and M.J. Maher. Constraint Logic Programming: a survey. J. Logic Programming, 19/20:503–581, 1994.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 2nd edition, 1987.

    Google Scholar 

  13. J.W. Lloyd and J.C Sheperdson. Partial evaluation in logic programming. J. Logic Programming, 11(3&4):217–242, 1991.

    Google Scholar 

  14. M.J. Maher. A logic programming view of CLP. In Proc. 10th Int. Conf. on Logic Programming, pages 737–753. MIT Press, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Systems and Telematics, Norwegian University of Science and Technology, N-7034, Trondheim

    Agata Wrzos-Kaminska

Authors
  1. Agata Wrzos-Kaminska
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Zbigniew W. Raś Maciek Michalewicz

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation