A Sudoku solver in Prolog. - View it on GitHub