Constraint Satisfaction, Constraint Programming, and Concurrency.
Ugo Montanari, Francesca Rossi · 1993
Recently constraint satisfaction has been embedded in various high-level declarative programming environments, like the Constraint Logic Programming framework, and even more recently such environments have been extended with concurrency, like in the Concurrent Constraint Programming paradigm. The merging of different areas of research is always an exciting event, and prolific of new ideas. We believe that here it is particularly so, since the above areas, while apparently very far in aims and techniques, are found more and more interconnected, to the point that their coexistence leads to new unexpected directions of research. In fact, we believe that interesting results in constraint satisfaction and in constraint programming can be mixed with concurrency with the consequence that more concurrency, as well as a more natural view of constraint programming, are derived. 1 Organization of the paper In Section 2 we describe our general scheme for local consistency techniques for finite do...