------
Sudoku
------

Taken from the book "The Power of Prolog" by Markus Triska

The tests are at http://josd.github.io/eye/reasoning/sudoku/test
