Premer Code - mot caché

Salut à tous,

Je dois resoudre le problème suivant en prolog:
Trouvez le mot caché sachant qu'il a 1 lettre en commun avec GARRA, 2 avec TRATA, 3 avec FRUTO, 3 avec GAITA et 3 avec GRUTA.

voici mon code:

Code:

---

1 2 3 4 5 6 7 8

valor(P,Q,1):-P=Q. valor(P,Q,0):-P\==Q. fila1(V,W,X,Y,Z):-valor(V,'G',N11),valor(W,'A',N21),valor(X,'R',N31),valor(Y,'R',N41),valor(Z,'A',N51),1 is N11+N21+N31+N41+N51. fila2(V,W,X,Y,Z):-valor(V,'T',N12),valor(W,'R',N22),valor(X,'A',N32),valor(Y,'T',N42),valor(Z,'A',N52),2 is N12+N22+N32+N42+N52. fila3(V,W,X,Y,Z):-valor(V,'F',N13),valor(W,'R',N23),valor(X,'U',N33),valor(Y,'T',N43),valor(Z,'O',N53),3 is N13+N23+N33+N43+N53. fila4(V,W,X,Y,Z):-valor(V,'G',N14),valor(W,'A',N24),valor(X,'I',N34),valor(Y,'T',N44),valor(Z,'A',N54),3 is N14+N24+N34+N44+N54. fila5(V,W,X,Y,Z):-valor(V,'G',N15),valor(W,'R',N25),valor(X,'U',N35),valor(Y,'T',N45),valor(Z,'A',N55),3 is N15+N25+N35+N45+N55. oculta(V,W,X,Y,Z):-fila1(V,W,X,Y,Z),fila2(V,W,X,Y,Z),fila3(V,W,X,Y,Z),fila4(V,W,X,Y,Z),fila5(V,W,X,Y,Z).

---

A la résolution il me trouve trois solutions (dont 2 qu'il répète) : GRITO (la bonne) , FRITA, et FAUTA.
Malheureusement les deux dernières solutions ne marchent pas!
Pourquoi me les sort-il?
Et là je suis paumé! Je découvre prolog, mon code me parait logique et les qq solutions trouvé sur le net sont bien plus compliqué.
Si vous pouviez me donner une piste sur ce qui cloche ds mon code.

Merci

Il me semble que les 3 solutions sont correctes...
Peut-être que les mots FRITA et FAUTA n'existent pas ? C'est un autre problème !

Merci de ta reponse.
FRITA n'est pas valide car il a 3 lettres en commun avec TRATA, alors qu'il devrais en avoir que deux.
FAUTA n'est pas valide car il a 2 lettres en commun avec GARRA, alors qu'il devrais en avoir qu'une.
Seul GRITO fonctionne dans tous les cas.

Ouh la, j'ai du caca dans les yeux :oops:

Pour ton problème, je n'ai pas trouve de bonnes explication pour le moment.

Tout ce que je peux dire , c'est que si tu changes la deuxième clause de valor sous cette forme :

Code:

---

valor(P,Q,0):- dif(P,Q).

---

tu obtiens la bonne réponse.

dif est un prédicat beaucoup puissant que \= ou \==, lis les explications sur la doc de SWI-Prolog.

Pour essayer de comprendre pourquoi tu obtiens d'autres réponses, essaye de tracer la démarche de Prolog, en particulier son backtrack.

Je viens de tester et ça marche parfaitement !! (avec swiprolog pas avec gprolog)
Merci beaucoup pour l'aide.