A.9.7 Example: Sudoku is amazing

A.9.7 Example: Sudoku is amazing.

Somebody know the complate code (this example not solution hard sudocu) that solution every sudoko output,any sudoku with one solution?
Because before must need function,that result minimum permutetion or combination.

Markus Triska has put a video on Youtube on his Sudoku solving code at Sudoku in Prolog - YouTube