How can prolog execution be considered as constraint solving
215
Definition of CSP
216
Sudoku as a CSP, and its constraint graph
217-225
Algorithm for solving a CSP for sudoku
226-231
Possible outcomes of CSP solving
232-234
How do we find a global solution from narrowed domains?
235
Write CLP program for Sudoki
236