Programmer un sudoku en ada

Bonjour,

je suis depuis cette année à l'IUT de Montpellier et nous utilisons le langage ada pour débuter. Nous devons programmer un sudoku, j'ai presque finis seulement j'ai quelques soucis pour les procédure de fin. je vous laisse mon code pour ceux qui veulent bien y jetter un oeil :-)

la grille se remplie mais plusieurs chiffres aparraissent dans la meme region.

merci par avance !

-- bibliotheques necessaires
with ada.Integer_Text_IO; use ada.Integer_Text_IO;
with ada.Text_IO; use ada.Text_IO;

procedure sudoku is
-- pre requis : aucun
-- action : resoud une grille de sudoku
-- strategie : decoupage en plusieurs procedures et fonctions

type Tcarre is array (1..9,1..9) of integer; -- matrice de jeu

type Tvectpossibles is array (1..9) of boolean;
type Tpossibles is record
vect:Tvectpossibles; -- vecteur des chiffres possibles
nb:integer; -- nombre de chiffres possibles
end record;

type Tcube is array (1..9,1..9) of Tpossibles; -- matrice des possibles

procedure affiche (mat:in Tcarre) is
-- pre requis : aucun
-- action : affiche la matrice sous la forme du jeu de sudoku
-- strategie : parcours total. on affiche une par une les valeurs des cases
begin
for I in 1..9
loop
if I=4 or I=7
then
new_line;
end if;
for J in 1..9
loop
if J=4 or J=7
then
put(" ");
end if;
put(mat(I,J),2);
end loop;
new_line;
end loop;
end affiche;

function plusdecasesnulles (mat:in Tcarre) return boolean is
-- pre requis : la matrice est correctement initialisee
-- resultat : retour vrai si la matrice est remplie, faux sinon (il reste des cases a zero)
-- strategie : parcours partiel. si on trouve un zero on s'arrete, sinon on continue
I:integer:=1; -- indice des lignes
J:integer; -- indice des colonnes
result:boolean:=true; -- vrai si il n'y a pas de cases nulles
begin
while I<=9 and then result
loop
J:=1;
while J<=9 and then result
loop
if mat(I,J)=0
then
result:=false;
end if;
J:=J+1;
end loop;
I:=I+1;
end loop;
return result;
end plusdecasesnulles;

function existedansligne (mat:in Tcarre; lig:in integer; x:in integer) return boolean is
-- pre requis : la matrice est correctement initialisee
-- resultat : retourne vrai si x existe dans la ligne lig, faux sinon
-- strategie : parcours partiel de la ligne lig
I:integer:=1; -- indice des colonnes
begin
while I<=9 and then mat(lig,I)/=x
loop
I:=I+1;
end loop;
return I<=9;
end existedansligne;

function existedanscolonne (mat:in Tcarre; col:in integer; x:in integer) return boolean is
-- pre requis : la matrice est correctement initialisee
-- resultat : retourne vrai si x existe dans la colonne col, faux sinon
-- strategie : parcours partiel de la colonne col
I:integer:=1; -- indice des lignes
begin
while I<=9 and then mat(I,col)/=x
loop
I:=I+1;
end loop;
return I<=9;
end existedanscolonne;

function existedansregion (mat:in Tcarre; lig,col:in integer; x:in integer) return boolean is
-- pre requis : la matrice est correctement initialisee
-- resultat : retourne vrai si x existe dans la region indicees par (lig,col), faux sinon
-- strategie : parcours partiel de la region
I:integer:=lig*3-2; -- indice des lignes
J:integer; -- indice des colonnes
result:boolean:=false; -- faux si le nombre n'existe pas
begin
while I<=lig*3 and then not result
loop
J:=col*3-2;
while J<=col*3 and then not result
loop
if mat (I,J)=x
then
result:=true;
end if;
J:=J+1;
end loop;
I:=I+1;
end loop;
return result;
end existedansregion;

procedure initlespossibles (cube:out Tcube) is
-- pre requis : aucun
-- action : initialise tout le cube a faux
-- strategie : parcours total
begin
for I in 1..9
loop
for J in 1..9
loop
cube(I,J).nb:=0;
for K in 1..9
loop
cube(I,J).vect(K):=false;
end loop;
end loop;
end loop;
end initlespossibles;

procedure valeurspossibles (mat:in Tcarre; cube:in out Tcube) is
-- pre requis : la matrice et le cube sont correctement initialises
-- action : calcule les valeurs possibles de chaque nombre
-- strategie : parcours total de la matrice
begin
for I in 1..9
loop
for J in 1..9
loop
if mat(I,J)=0
then
for K in 1..9
loop
if not existedansligne (mat,I,K) and not existedanscolonne (mat,J,K) and not existedansregion (mat,((I-1)/3)+1,((J-1)/3)+1,K)
then
cube(I,J).vect(K):=true;
cube(I,J).nb:=cube(I,J).nb+1;
end if;
end loop;
end if;
end loop;
end loop;
end valeurspossibles;

function seulpossibledansligne (mat:in Tcarre; cube:in Tcube; lig,x:in integer) return boolean is
-- pre requis : la matrice est correctement initialisee
-- resultat : retourne vrai si x est le seul possible dans la ligne, faux sinon
-- strategie : parcours partiel de la ligne lig
cpt:integer:=0; -- compteur de l'occurence du nombre
I:integer:=1; -- indice de ligne
begin
while I<=9 and then cpt<=1
loop
if mat(lig,I)=0
then
if cube(lig,I).vect(x)
then
cpt:=cpt+1;
end if;
end if;
I:=I+1;
end loop;
return cpt=1;
end seulpossibledansligne;

function seulpossibledanscolonne (mat:in Tcarre; cube:in Tcube; col,x:in integer) return boolean is
-- pre requis : la matrice est correctement initialisee
-- resultat : retourne vrai si x est le seul possible dans la colonne, faux sinon
-- strategie : parcours partiel de la colonne col
cpt:integer:=0; -- compteur de l'occurence du nombre
I:integer:=1; -- indice de colonne
begin
while I<=9 and then cpt<=1
loop
if mat(I,col)=0
then
if cube(I,col).vect(x)
then
cpt:=cpt+1;
end if;
end if;
I:=I+1;
end loop;
return cpt=1;
end seulpossibledanscolonne;

function seulpossibledansregion (mat:in Tcarre; cube:in Tcube; lig,col,x:in integer) return boolean is
-- pre requis : la matrice est correctement initialisee
-- resultat : retourne vrai si x est le seul possible dans la region, faux sinon
-- strategie : parcours partiel de la region
cpt:integer:=0; -- compteur de l'occurence du nombre
I:integer:=lig*3-2; -- indice de ligne
J:integer; -- indice de colonne
begin
while I<=lig*3 and then cpt<=1
loop
J:=col*3-2;
while J<=col*3 and then cpt<=1
loop
if mat(I,J)=0
then
if cube(I,J).vect(x)
then
cpt:=cpt+1;
end if;
end if;
J:=J+1;
end loop;
I:=I+1;
end loop;
return cpt=1;
end seulpossibledansregion;

function candidatunique (mat:in Tcarre; cube:in Tcube; lig,col,x:in integer) return boolean is
-- pre requis : la matrice et le cube sont correctement initialises
-- resultat : retourne vrai si x est le seul possible pour une case donnee, faux sinon
-- strategie : si le chiffre est le seul possible dans la ligne ou la colonne ou la region,
-- alors la valeur est verifiee
begin
if (seulpossibledansligne (mat,cube,lig,x) or seulpossibledanscolonne (mat,cube,col,x)
or seulpossibledansregion (mat,cube,((lig-1)/3)+1,((col-1)/3)+1,x))
then
return true;
else
return false;
end if;
end candidatunique;

procedure transform_coord (I:in integer; k1,k2:out integer) is
-- pre requis : aucun
-- action : donne les coordonnees des 2 autres lignes ou
-- colonnes a partir d'un numero de ligne ou colonne
-- strategie : utilisation du modulo
begin
if I mod 3=1
then
k1:=1; k2:=2;
elsif I mod 3=2
then
k1:=-1; k2:=1;
else
k1:=-1; k2:=-2;
end if;
end transform_coord;

function positionunique (mat:in Tcarre; I,J,x:in integer) return boolean is
-- pre requis : la matrice est correctement initialisee
-- resultat : retourne vrai si la position du chiffre est unique, faux sinon
-- strategie : on regardes si les autres cases sont occupees
l1,l2:integer; -- lignes
c1,c2:integer; -- colonnes
begin
transform_coord (I,l1,l2); transform_coord (J,c1,c2);
if ((existedansligne (mat,I+l1,x) and existedansligne (mat,I+l2,x) and existedanscolonne (mat,J+c1,x) and existedanscolonne (mat,J+c2,x))
or (existedansligne (mat,I+l1,x) and existedansligne (mat,I+l2,x) and mat(I+l1,J)/=0 and mat(I+l2,J)/=0)
or (existedanscolonne (mat,J+c1,x) and existedanscolonne (mat,J+c2,x) and mat(I,J+c1)/=0 and mat(I,J+c2)/=0))
then
return true;
else
return false;
end if;
end positionunique;

procedure jeu (mat:in out Tcarre; cube:in out Tcube) is
begin
initlespossibles (cube);
valeurspossibles (mat,cube);
while not plusdecasesnulles (mat)
loop
for I in 1..9
loop
for J in 1..9
loop
if mat(I,J)=0
then
for K in 1..9
loop
if candidatunique (mat,cube,I,J,K) or positionunique (mat,I,J,K)
then
mat(I,J):=K;
cube(I,J).vect(K):=false;
cube(I,J).nb:=cube(I,J).nb-1;
valeurspossibles (mat,cube);
end if;
end loop;
end if;
end loop;
end loop;
end loop;
end jeu;

cube:Tcube;
mat:Tcarre:=((1,3,7,0,2,8,0,6,5),(0,0,5,0,7,0,4,3,0),(0,0,6,1,3,0,2,0,0),
(5,8,0,7,0,0,3,0,2),(0,0,4,3,0,2,1,0,0),(2,0,3,0,0,1,0,8,6),
(0,0,8,0,1,4,6,0,0),(0,1,2,0,6,0,5,0,0),(4,6,0,2,5,0,8,1,7));
begin
affiche (mat); new_line;
jeu (mat,cube);
put("--------------------");
new_line;
affiche (mat);
end sudoku;