next up previous
Next: Logic Programming as a Up: Constraints Embedded in A Previous: Control


The challenge for embedding constraint handling in a host programming language is to deal with constraint agents acting concurrently. Assuming the programmer has little or no control over the waking and resuspending of constraint agents, the constraint programming framework must ensure that the final result of constraint propagation, before the host program resumes control, is independent of the order in which the agents wake up and post new basic constraints to the constraint store. The concurrent constraints framework

(Saraswat, 1993) enables this condition to be met for large classes of practically useful constraint agents.

Mark Wallace
Wed Sep 3 18:36:40 BST 1997