Boucle infinie lors d'un parcours d'une liste

Bonsoir, j'ai écrit un prédicat qui parcourt une liste pour vérifier s'il y a des doublons.

Code:

---

1 2	valid([]). valid([X|L]):- not member([X,L]), valid(L).

---

si je passe directement une liste saisie à la main, du style :

Code:

---

valid([1,2,3,1]).

---

ça marche parfaitement, mais lorsque j'appelle ce prédicat depuis un autre prédicat et que valid renvoie faux (donc qu'il y a un doublon), j'ai une boucle infinie. Par contre, si valid renvoie vrai, il n'y a pas de boucle infinie. Le problème se produit donc quand valid renvoie faux.

Sauriez-vous pourquoi ?

Merci d'avance pour vos réponses : )

valid renvoyant faux, celà provoque backtrack, c'est pour celà que tu as une boucle infinie. Il faut traiter le cas sous cette forme

Code:

---

1 2 3 4

predicat :- ..... (valid(X) -> <action lorsque valid réussit> ; <action lorsque valid echoue>), ....

---

Le princpie est là mais ce serait bien que tu montres ton code pour juger exactement.

Merci beaucoup, ca marche parfaitement bien, je n'ai plus de boucle infinie.

En revanche comme le programme se termine après l'appel de ce prédicat, j'aimerais que "<action lorsque valid réussit>" soit une sorte d'instruction vide.
Que puis-je mettre dans cette action?

Merci encore!

Tu peux mettre true.