Introduction to Logic

Exercise 7.3 - Sudoku

Sudoku is a puzzle consisting of a 9x9 board divided into nine 3x3 subboards. In a typical puzzle, several of the squares are already filled, as in the example shown below. The goal of the puzzle is to place the numerals 1 through 9 into the remaining squares of the board in such a way that no numeral is repeated in any row or column or 3x3 subboard. Use the non-Boolean model technique to solve this puzzle.

5 8 6
2 4
5 2
8 1
1 2
8 6
3
4 5
5 3
8 1
6
9
2 4
7 3 8
5
7
3 6
2 3
8
5
8 1