The article is an introduction to Constraint Satisfaction Problems (CSP's). http://en.wikipedia.org/wiki/Constraint_satisfaction_problem
A very rudimentary demonstration of this: http://aispace.org/constraint/sample2.html
Norvig implemented a quick and dirty version of this for his sudoku solver: http://norvig.com/sudoku.html.
Note, while you eventually end up just telling a CSP what you want, there's a plethora of algorithms to solve these constraints.
The article is an introduction to Constraint Satisfaction Problems (CSP's). http://en.wikipedia.org/wiki/Constraint_satisfaction_problem
A very rudimentary demonstration of this: http://aispace.org/constraint/sample2.html
Norvig implemented a quick and dirty version of this for his sudoku solver: http://norvig.com/sudoku.html.
Note, while you eventually end up just telling a CSP what you want, there's a plethora of algorithms to solve these constraints.