Skip to main content
SpringerLink
Log in

An introduction to constraint logic programming

  • Part 2: Logic and Logic Programming
  • Conference paper
  • First Online:
Advanced Topics in Artificial Intelligence

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

Abstract

This paper provides an introductory overview of Constraint Logic Programming (CLP) Languages. The first section explains the purpose of such languages and contrasts them with Logic Programming languages such as Prolog. The next section looks at Jaffar and Lassez's formal definition of a general CLP scheme. The third section describes some of the best known implementations of this scheme, looking in most detail at CLP(R) and CHIP.

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. S. Bourgault, M. Dincbas, J.P. Lepape: The LISTLOG system. Technical Report, NT/LAA/SLC/186, CNET, 1984

    Google Scholar 

  2. W. Büttner, H. Simonis: Embedding Boolean Expressions into Logic Programming. Journal of Symbolic Computation, vol. 4, pp. 191–205, 1987

    Google Scholar 

  3. CHIP 2.1 Reference Manual. ICL, London, 1990

    Google Scholar 

  4. The CHIP Constraints, CHIP/SEPIA BIP Book. ICL, London, 1990

    Google Scholar 

  5. K.L. Clark, F. McCabe: The Control Facilities of IC-PROLOG. Expert Systems in the Micro Electronic Age, D. Mitchie (Ed), Edinburgh: Edinburgh University Press, 1979

    Google Scholar 

  6. A. Colmerauer: Equations and Inequations on Finite and Infinite Trees. Proc. Int. Conf. on Fifth Generation Computer Systems, ICOT (Ed), Tokyo, 1984

    Google Scholar 

  7. A. Colmerauer: Opening the PROLOG-III Universe. BYTE Magazine, August 1987 issue, pp. 177–182

    Google Scholar 

  8. A. Colmerauer, H. Kanoui, M. Van Caneghem: Prolog, bases theoriques et developpements actuels. Techniques et Sciences Informatiques, vol. 2 (4), pp. 271–311, 1983

    Google Scholar 

  9. M. Dincbas, J-P. Lepape: Metacontrol of Logic Programs in METALOG. Proc. Int. Conf. on Fifth Generation Computer Systems, ICOT (Ed), Tokyo, 1984

    Google Scholar 

  10. M. Dincbas, P. Van Hentenryc, H. Simonis, A. Aggoun, T. Graf, F. Berthier: The Constraint Logic Programming Language CHIP. Proc. Int. Conf. on Fifth Generation Computer Systems, ICOT (Ed), Tokyo, 1988

    Google Scholar 

  11. E.C. Freuder: Synthesizing Constraint Expressions. Comm. ACM, vol. 21, pp. 958–966, 1978

    Google Scholar 

  12. A.M. Frisch: An Investigation into Inference with Restricted Quantification and a Taxonomic Representation. SIGART Newsletter, no. 91, pp. 28–31, 1985

    Google Scholar 

  13. R.M. Haralick, G.L. Elliot: Increasing Tree Search Efficiency for Constraint Satisfaction Problems. Artificial Intelligence, vol. 14, pp. 263–313, 1980

    Google Scholar 

  14. J. Jaffar, J-L. Lassez: Constraint Logic Programming. Proc. 14th ACM POPL Conf., Munich, 1987

    Google Scholar 

  15. J. Jaffar, J-L. Lassez, M.J. Maher: A Logic Programming Language Scheme. Logic Programming: Relations, Functions and Equations, D. DeGroot, G. Lindstrom (Eds), Englewood Cliffs, New Jersey: Prentice-Hall, 1986

    Google Scholar 

  16. J. Jaffar, S. Michaylov: Methodology and Implementation of a CLP System. Proc. 4th Int. Conf. on Logic Programming,. J-L. Lassez (Ed), Melbourne, 1987

    Google Scholar 

  17. C. Lassez: Constraint Logic Programming. BYTE Magazine, August 1987 issue, pp. 171–176

    Google Scholar 

  18. C. Lassez, K. McAloon, R. Yap: Constraint Logic Programming and Options Trading. IEEE Expert, August 1987 issue, pp. 42–50

    Google Scholar 

  19. J-L. Lauriere: A Language and a Program for Stating and Solving Combinatorial Problems. Artificial Intelligence, vol. 10 (1), pp. 29–127, 1978

    Google Scholar 

  20. A.K. Mackworth: Consistency in Network of Relations. Artificial Intelligence, vol. 8(1), pp. 99–118, 1977

    Google Scholar 

  21. L. Naish: Automating Control for Logic Programs. Journal of Logic Programming, vol. 2(3), pp. 167–184, 1985

    Google Scholar 

  22. H. Nakashima: Term Description: A Simple Powerful Extension to Prolog Data Structure. Proc. 8th IJCAI, 1985

    Google Scholar 

  23. A. Porto: EPILOG: A Language for Extended Programming in Logic. Proc. 4th Int. Conf. on Logic Programming, Marseille, 1982

    Google Scholar 

  24. K. Sakai, A. Aiba: CAL: A Theoretical background of Constraint Logic Programming and its Applications. J. Symbolic Compulation, vol. 8, pp. 589–603, 1989

    Google Scholar 

  25. H. Simonis, M. Dincbas: Using an Extended Prolog for Digital Circuit Design. Proc. IEEE Int. Workshop on AI Applications to CAD Systems for Electronics, pp. 165–188, Munich, 1987

    Google Scholar 

  26. G.J. Sussman, G.L. Steele: CONSTRAINTS — A Language for Expressing Almost-Hierarchical Descriptions. Artificial Intelligence, vol. 14 (1), pp. 1–39, 1980

    Google Scholar 

  27. Trilogy User's Manual. Complete Logic Systems, Vancouver, 1987

    Google Scholar 

  28. P. Van Hentenryc: Constraint Satisfaction in Logic Programming. Cambridge, Massachusetts: The MIT Press, 1989

    Google Scholar 

  29. P. Voda: The Constraint Language Trilogy: Semantics and Computations. Technical Report, Complete Logic Systems, Vancouver, 1988

    Google Scholar 

  30. C. Walther: A Mechanical Solution of Shubert's Steamroller by Many-Sorted Resolution. Proc. 4th AAAI, Austin, 1984

    Google Scholar 

  31. D. Waltz: Generating Semantic Descriptions from Drawings of Scenes with Shadows. Technical Report AI271, MIT, 1972

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College, London, England

    Frank Kriwaczek

Authors
  1. Frank Kriwaczek
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Vladimír Mřrík Olga Štěpánková Rorbert Trappl

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kriwaczek, F. (1992). An introduction to constraint logic programming. In: Mřrík, V., Štěpánková, O., Trappl, R. (eds) Advanced Topics in Artificial Intelligence. Lecture Notes in Computer Science, vol 617. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55681-8_31

Download citation

  • DOI: https://doi.org/10.1007/3-540-55681-8_31

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55681-7

  • Online ISBN: 978-3-540-47271-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation