Skip to main content
SpringerLink
Log in

Expressive Applications of Constraint Logic Programming

  • Published:
Artificial Intelligence Review Aims and scope Submit manuscript

Abstract

This introduction to the Constraint Logic Programming languageCLP(ℜ) uses applications to provide insight tothe language‘s strengths. An overview of CLP(ℜ)is followed by a discussion of three applications that illustratethe language‘s unifying treatment both of numeric and symboliccomputing and of engineering analysis and synthesis problems.Another discussion dissects the interpreter‘s constraint solverand clarifies how a problem’s search space can be restricteddeclaratively. The final example is an extended description ofthe construction of a network of interpreters, which can be usedto distributively solve a set of linear equations. This extensionrequires no modification of the CLP(ℜ) interpreterand points out the benefits of revisiting established algorithmsvis-a-vis CLP(ℜ).

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Chu, E. & George, A. (1987) Gaussian Elimination with Partial and Load Balancing on a Multiprocessor. Parallel Computing 5: 65.

    Google Scholar 

  • Cohen, J. (1990). Constraint Logic Programming Languages. Communications of the ACM, 52–68.

  • Day, W. (1993). Planning Model Implementation in CLP. Final Technical Report, Contract No. C/UB-1754-B, Rome Laboratory, Griffiss AFB, NY.

  • Fox, G. C., Johnson, M. A., Lyzenga, G. A., Otto, S. W., Salmon, J. K. & Walker, D. W. (1988). Solving Problems on Concurrent Processors. Vol. I, Prentice Hall, Englewood Cliffs, NJ.

    Google Scholar 

  • Gerald, Curtis F. (1970). Applied Numerical Analysis. Addison-Wesley.

  • Heintze, N., Michaylov, S. & Stuckey, P (1986). CLP(ℜ) and Some Electrical Engineering Problem. Proceedings of The 4th Int. Conf. on Logic Programming, J-L. Lassez (ed.). MIT Press.

  • Jaffar, J. & Michaylov, S. (1986). Methodology and Implementation of a CLP System. Proceedings of The 4th Int. Conf. on Logic Programming, J-L. Lassez (ed.), MIT Press.

  • Jaffar, J., Michaylov, S., Stuckey, P. & Yap, R. H. C. (1992). The CLP(ℜ) Language and System. ACM Trans. Programming Languages 14: 339–395.

    Google Scholar 

  • Jaffar, J. & Maher, M. J. (1994). Constraint Logic Programming: A Survey. J. Logic Programming 19, 20: 503–581.

    Google Scholar 

  • Lakmazaheri, S. & Rasdorf, W. J. (1989). Constraint Logic Programming for the Analysis and Partial Syntheses of Truss Structures. Artifical Intelligence for Engineering Design, Analysis, & Manufacturing 8: 157, 173.

    Google Scholar 

  • Lassez, C., MacAloon, K. & Yap, R. (1987) Constraint Logic Programming and Option Trading. IEEE Expert 2: 42–50.

    Google Scholar 

  • Sunderam, V. (1990), PVM: A Framework for Parallel Distributed Computing. Concurrency: Practice & Experience 2: 315–339.

    Google Scholar 

  • van Hentenryek, P. (1989). Constraint Satisfaction in Logic Programming. MIT Press.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, Auburn University, AL, 36849-5347

    William B. Day

Authors
  1. William B. Day
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Day, W.B. Expressive Applications of Constraint Logic Programming. Artificial Intelligence Review 11, 427–452 (1997). https://doi.org/10.1023/A:1017967318323

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1017967318323

Search

Navigation