This is a sudoku solver realized in Prolog