Digitale Medien
Springer
Artificial intelligence review
11 (1997), S. 427-452
ISSN:
1573-7462
Schlagwort(e):
constraint logic programming
;
symbolic and numeric computing
;
declarative programming
;
constrained search
;
linear equations
;
distributed problem-solving
;
constraint solver
Quelle:
Springer Online Journal Archives 1860-2000
Thema:
Informatik
Notizen:
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(ℜ).
Materialart:
Digitale Medien
URL:
http://dx.doi.org/10.1023/A:1017967318323
Permalink
|
Standort |
Signatur |
Erwartet |
Verfügbarkeit |