sudoku validator in prolog