Projet PROLOG sudoku

Fermé
-queen- - 31 mai 2009 à 17:51
 charaf Maroc - 5 févr. 2010 à 17:36
Bonjour à tous,
je dois réaliser un programme Prolog capable de résoudre des grilles de sudoku.
tout d'abord on me demande de générer une grille 9x9 vide de cette forme:

[[9,9,0],[9,8,0],.....[9,1,0],[8,9,0],[8,8,0]....[8,1,0],[7,9,0],[7,8,0],...[7,1,0],[6,9,0].....[6,1,0],....[1,1,0]]


(j'ai abrégé la liste car trop long à écrire).

Mon problème est que je ne vois pas comment construire une liste de taille 81 éléments, dont chaque élément est lui même une liste mais cette fois de 3 chiffres.
J'ai essayé de construire des listes puis de faire un append mais je n'arrive pas au bon résultat, de plus mes listes n'étaient pas constituées des chiffres comme indiqué ci-dessus car j'utilisais length (donc attribution de _G0238 et autres)

Merci de votre aide, j'en ai grandement besoin
A voir également:

1 réponse

une solution de sudoku sous gnu prolog :


sudoku(Grid, Vars) :-

% Definition des variables (grille de sudoku)

Vars =[
A1,A2,A3,A4,A5,A6,A7,A8,A9,
B1,B2,B3,B4,B5,B6,B7,B8,B9,
C1,C2,C3,C4,C5,C6,C7,C8,C9,
D1,D2,D3,D4,D5,D6,D7,D8,D9,
E1,E2,E3,E4,E5,E6,E7,E8,E9,
F1,F2,F3,F4,F5,F6,F7,F8,F9,
G1,G2,G3,G4,G5,G6,G7,G8,G9,
H1,H2,H3,H4,H5,H6,H7,H8,H9,
I1,I2,I3,I4,I5,I6,I7,I8,I9],


% Les cases prennent des valeurs de 1 a 9

fd_domain(Vars, 1, 9),

% Tous les chiffres d'une ligne sont differents
fd_all_different([A1,A2,A3,A4,A5,A6,A7,A8,A9]),
fd_all_different([B1,B2,B3,B4,B5,B6,B7,B8,B9]),
fd_all_different([C1,C2,C3,C4,C5,C6,C7,C8,C9]),
fd_all_different([D1,D2,D3,D4,D5,D6,D7,D8,D9]),
fd_all_different([E1,E2,E3,E4,E5,E6,E7,E8,E9]),
fd_all_different([F1,F2,F3,F4,F5,F6,F7,F8,F9]),
fd_all_different([G1,G2,G3,G4,G5,G6,G7,G8,G9]),
fd_all_different([H1,H2,H3,H4,H5,H6,H7,H8,H9]),
fd_all_different([I1,I2,I3,I4,I5,I6,I7,I8,I9]),

% Tous les chiffres d'une colonne sont differents
fd_all_different([A1,B1,C1,D1,E1,F1,G1,H1,I1]),
fd_all_different([A2,B2,C2,D2,E2,F2,G2,H2,I2]),
fd_all_different([A3,B3,C3,D3,E3,F3,G3,H3,I3]),
fd_all_different([A4,B4,C4,D4,E4,F4,G4,H4,I4]),
fd_all_different([A5,B5,C5,D5,E5,F5,G5,H5,I5]),
fd_all_different([A6,B6,C6,D6,E6,F6,G6,H6,I6]),
fd_all_different([A7,B7,C7,D7,E7,F7,G7,H7,I7]),
fd_all_different([A8,B8,C8,D8,E8,F8,G8,H8,I8]),
fd_all_different([A9,B9,C9,D9,E9,F9,G9,H9,I9]),

% Tous les chiffres d'un carre sont differents
fd_all_different([A1,A2,A3,B1,B2,B3,C1,C2,C3]),
fd_all_different([A4,A5,A6,B4,B5,B6,C4,C5,C6]),
fd_all_different([A7,A8,A9,B7,B8,B9,C7,C8,C9]),
fd_all_different([D1,D2,D3,E1,E2,E3,F1,F2,F3]),
fd_all_different([D4,D5,D6,E4,E5,E6,F4,F5,F6]),
fd_all_different([D7,D8,D9,E7,E8,E9,F7,F8,F9]),
fd_all_different([G1,G2,G3,H1,H2,H3,I1,I2,I3]),
fd_all_different([G4,G5,G6,H4,H5,H6,I4,I5,I6]),
fd_all_different([G7,G8,G9,H7,H8,H9,I7,I8,I9]),

nl, write('==================='), nl, write('==================='), nl,

%%%%% VALEUR DU PLATEAU %%%%%

grid(Grid, Vars),


%%%%% RECHERCHE DE SOLUTIONS %%%%%

fd_labeling(Vars).

% Affichage /* printGrid(Vars).*/




grid([],[]).
grid([0|Q1],[_|Q2]) :-
grid(Q1,Q2).


grid([Val|Q1],[Var|Q2]) :-
Var #= Val,
grid(Q1,Q2).
0