Discussion :

[loonis]

Bonjour à tous,

Voila je cherche à imiter ce programme en prolog

Code :

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

1
2
3
4
L'utilisateur entre une valeur i
TANT QUE i<1 OU i>5
L'utilisateur doit re-rentrer une valeur i
FIN TANT QUE

Cela me donne ça en prolog

Code :

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

1
2
3
4
orientation(O) :- read(O), verifO(O).
verifO(O) :- O < 1, write('Entrez une valeur comprise entre 1 et 4 : '), orientation(O).
verifO(O) :- O > 5, write('Entrez une valeur comprise entre 1 et 4 : '), orientation(O).
verifO(O).

Cela ne fonctionne pas voila le résultat.

Code :

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

1
2
3
4
5
6
7
orientation(O).
10.
Entrez une valeur comprise entre 1 et 4 : 9.
 
O = 10
 
(32 ms) yes

Merci de votre aide.

[Trap D]

Si tu es sous SWI-Prolog, tape

?- trace.

?- orientation(X).

et tu comprendras ton erreur.
Tu rentres d'abord 30,
le test O > 5 réussit, le message "'Entrez une valeur comprise entre 1 et 4 : " s'affiche et tu dois ressaisir une valeur, mais avec ton codage, la variable O est déjà liée à 30, donc, lorsque tu tapes la valeur 2, read(O) échoue puisque O est lié à 30, ,la deuxième règle verif(O) échoue et passe donc à la troisième qui elle réussit mais avec O toujours lié à 30 ! (les joies de l'unification !!! )

PS : pour t'en sortir, il ne faut pas que tu appelles orientation(O) dans verif(O), tu dois tester le retour de verif dans orientation et agir en conséquence.

[loonis]

Merci bien Trap D j'ai réussi en corrigeant comme cela :

Code :

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

1
2
3
orientation(h,O) :- read(O), verifO(O).
orientation(h,O1) :- write('Entrez une valeur comprise entre 1 et 4 : '), orientation(h,O1).
verifO(O) :- O > 1, O < 5 .

[Trap D]

Ça marche "à moitié", voici ce que j'obtiens avec ton code :

1 ?- orientation(h, O).
|: 12.
Entrez une valeur comprise entre 1 et 4 : 0.
Entrez une valeur comprise entre 1 et 4 : 3.
O = 3 ;
Entrez une valeur comprise entre 1 et 4 : 2.
O = 2 .

2 ?-

Si je tape ';' (après O = 3), le programme continue, mais si je tapes RET (après O = 2) le programme s'arrête.

[loonis]

Un p'ti cut bien placé derrière derrière la nuque de verifO(O):

orientation(h,O) :- read(O), verifO(O),!.

Et sa fonctionne à merveille

Merci encore.