Discussion :

[rkade]

Bonjour a tous,

Me voici confronte à un problème tout simple en prolog, et je souhaiterai connaitre la meilleur maniere de le contourner.

Voici mes fait :
habite(jean, paris).
habite(tata, paris).
habite(toto, paris).

Si je fais :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
?- findall( X, habite( X, paris), Y).
Y = [jean,tata,toto].

Il me renvoit bien [jean,tata,toto]. Nous sommes d'accord.
Connaissant ma reponse, si je fais :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
?- findall( X, habite( X, paris), [jean,tata,toto]).
true.

Il me renvoit bien true. Ce qui est cool.
Mais maintenant, connaissant le reponse du findall : [jean,tata,toto], je souhaiterai connaitre la ville de cette maniere :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
findall(X, habite(X, Ville), [jean,tata,toto]).
false.

Sauf que quand je le tappes il me repond faux, est-ce normal, et comment pourrais-je contourner ce probleme ?


Edit : Desole, je viens juste de voir le predicat bagof avec lequel ca marche...

[Trap D]

Intéressant. As-tu compris pourquoi bagof fonctionne et pas findall ? Je t'invite à consulter la doc.

[rkade]

Non, je me suis pas encore bien penché dessus.

Pour mon probleme initial, je n'en ai pas besoin.

Je regarderai des que j'ai finit ce petit TP.