Discussion :

[lenneth666]

Bonjour

j'ai un prédicat a(X,Y) qui a cette forme là, je voudrais, lorsque l'on fait un appel genre a(X,Y), tester si le prédicat est vrai pour X=0; alors j'arrête et je mets la solution dans Y et je l'affiche. Si le prédicat n'est pas vrai pour X=0 alors je tente pour X=1 etc....

Mais je n'ai pas d'idée : comment faire cela ?
Quelqu'un peut-il m'aider ?

[lenneth666]

en fait je cherche l'equivalent de

Code :

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

1
2
3
4
5
x=1;
while(truc(X) == false)
{
   x++;
}

[pcaboche]

Code :

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

1
2
3
4
5
6
7
8
9
10
pred(X, Y) :-
  % Si truc(X) est vrai, la boucle s'arrête
  truc(X), !,
  % Calcule la solution Y en fonction de X
  f(X, Y).
 
pred(X, Y) :-
  % Si truc(X) est faux, on essaye avec X+1 (et on boucle)
  X1 is X+1,
  pred(X1, Y).

Appel:

Code :

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

pred(1, Sol).