Using Prolog to solve a 4x4 Sudoku game
Called via the following commands:
Rows = [[,,,,,,,,,,,,,,,], [,,,,,,,,,,,,,,,], [,,,,,,,,,,,,,,,], [,,,,,,,,,,,,,,,], [,,,,,,,,,,,,,,,], [,,,,,,,,,,,,,,,], [,,,,,,,,,,,,,,,], [,,,,,,,,,,,,,,,], [,,,,,,,,,,,,,,,], [,,,,,,,,,,,,,,,], [,,,,,,,,,,,,,,,], [,,,,,,,,,,,,,,,], [,,,,,,,,,,,,,,,], [,,,,,,,,,,,,,,,], [,,,,,,,,,,,,,,,], [,,,,,,,,,,,,,,,]],
sudoku4(Rows),
maplist(label, Rows),
maplist(portray_clause, Rows).