sudoku
Prolog Source