Discussion :

[cocosql]

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

Code :

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

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

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

Code :

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

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 : )

[Trap D]

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 :

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

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.

[cocosql]

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!

[Trap D]

Tu peux mettre true.