% predicats auxiliares pour afficher la grille
displayline(L) :- printf('|%d %d %d|%d %d %d|%d %d %d|%n',L).
displayseperator :- printf('+-----+-----+-----+%n',[]).


exemple(
	[(1,3,9), (1,6,1), (1,7,6), (1,8,2),
	(2,1,5), (2,2,7), (2,5,2), (2,6,8), (2,8,3),
	(3,1,3), (3,4,7), (3,9,4),
	(4,1,8), (4,2,9), (4,5,7), (4,7,4),
	(5,2,6), (5,4,5), (5,6,3), (5,8,9),
	(6,3,1), (6,5,9), (6,8,7), (6,9,6),
	(7,1,6), (7,6,7), (7,9,8),
	(8,2,4), (8,4,1), (8,5,3), (8,8,6), (8,9,5),
	(9,2,2), (9,3,7), (9,4,6), (9,7,9)]).

exemple2([(1,8,6),
          (2,3,3),(2,4,5),(2,6,4),
          (3,1,2),
          (3,2,8),(3,4,9),(3,9,5),
          (4,3,8),(4,4,1),(4,6,7),(4,8,5),
          (5,2,9),(5,3,7),(5,5,2),
          (6,3,2),(6,4,4),(6,6,9),(6,8,1),
          (7,1,5),(7,2,7),(7,4,8),(7,9,4),
          (8,3,9),(8,4,7),(8,6,1),
          (9,8,8)]).