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(ℜ).
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.
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.
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.
Jaffar, J. & Maher, M. J. (1994). Constraint Logic Programming: A Survey. J. Logic Programming 19, 20: 503–581.
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.
Lassez, C., MacAloon, K. & Yap, R. (1987) Constraint Logic Programming and Option Trading. IEEE Expert 2: 42–50.
Sunderam, V. (1990), PVM: A Framework for Parallel Distributed Computing. Concurrency: Practice & Experience 2: 315–339.
van Hentenryek, P. (1989). Constraint Satisfaction in Logic Programming. MIT Press.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1023/A:1017967318323