Abstract
Constraint programming is a declar- ative programming paradigm exploiting techniques stemming from research on combinatorial problems in computer vi- sion, and robot planning. The paradigm comes close to the dream that users only need to simply state a problem and the computer will solve it, as underlined in the seminal 1996 article In Pursuit of the Holy Grail by Eugene Freuder.