A work-in-progress sudoku solver being written in prolog using swi-prolog.

Because sudoku is a puzzle game that can be solved using propositional logic alone as a satisfiability problem.

And prolog is a well known system for solving those satisfiability problems with a specialized syntax that eases the syntax writing.

Kenneth H. Rosen mentions in his "Discrete Mathematics and Its Applications" book that Sudoku is such a game that can be solved using propositional logic.

And after solving the Light-Up puzzle game as a project for my University I've decided to give Sudoku a try.