Expressive Applications of Constraint Logic Programming
محفوظ في:
| الحاوية / القاعدة: | The Artificial Intelligence Review vol. 11, no. 6 (Dec 1997), p. 427 |
|---|---|
| المؤلف الرئيسي: | |
| منشور في: |
Springer Nature B.V.
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | Citation/Abstract Full Text Full Text - PDF |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| مستخلص: | This introduction to the Constraint Logic Programming languageCLP([real]) uses applications to provide insight tothe language's strengths. An overview of CLP([real])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([real]) interpreterand points out the benefits of revisiting established algorithmsvis-a-vis CLP([real]). |
|---|---|
| تدمد: | 0269-2821 1573-7462 |
| DOI: | 10.1023/A:1017967318323 |
| المصدر: | ABI/INFORM Global |