Some sudoku solvers implemented in Prolog