Expressive Applications of Constraint Logic Programming

摘要

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(ℜ).