Solving problems on concurrent processors. Vol. 1: General techniques and regular problems
Solving problems on concurrent processors. Vol. 1: General techniques and regular problems
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Constraint logic programming languages
Communications of the ACM
PVM: a framework for parallel distributed computing
Concurrency: Practice and Experience
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
| Hi-index | 0.00 |
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(ℜ).