Introduction to Artificial Intelligence (Fall 2007)/Assignment 3/Programming

You are to create a Prolog solver for a simplified (4 x 4) version of Sudoku.

The Sudoku Property

A 4x4 matrix is said to have the "Sudoku Property" iff neither the rows, columns, nor the 2x2 sub-matrices have any duplicate elements. For example, the following matrix satisfies the Sudoku property:

1 2 3 4	3 4 1 2
4 1 2 3	2 3 4 1