ABSTRACT
Constraint programming is a kind of declarative programming. Rather than specifying how to solve the problem using some specific algorithm, the programmer provides a description of what a solution would look like. Then, a domain-independent search algorithm finds a solution using the description.
