Delwedd Flaen

Expressive Applications of Constraint Logic Programming

Wedi'i Gadw mewn:
Cyhoeddwyd yn:The Artificial Intelligence Review vol. 11, no. 6 (Dec 1997), p. 427
Prif Awdur: Day, William B
Cyhoeddwyd:
Springer Nature B.V.
Pynciau:
Logic programming
Computer engineering
Programming languages
Computer science
Algorithms
Interpreters
Financial analysis
Artificial intelligence
Linear equations
Application
Constraints
Mynediad Ar-lein:Citation/Abstract
Full Text
Full Text - PDF
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
Crynodeb: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]).
ISSN:0269-2821
1573-7462
DOI:10.1023/A:1017967318323
Ffynhonnell:ABI/INFORM Global