Electronic Resource
Springer
Artificial intelligence review
11 (1997), S. 427-452
ISSN:
1573-7462
Keywords:
constraint logic programming
;
symbolic and numeric computing
;
declarative programming
;
constrained search
;
linear equations
;
distributed problem-solving
;
constraint solver
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
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(ℜ).
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1017967318323
Permalink
|
Location |
Call Number |
Expected |
Availability |