Sudoku resolver in Prolog. Yay!