Sudoku game and solver written in Python/PyQt4 and Prolog.