Discussion :

[JB122]

Bonjour je ne comprends pas le résultat dans certains cas d'utilisations du cut.

Exemple:

Si je pose

Code :

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

Ville(un).Ville(deux).Ville(trois).

Lorsque je fais

Code :

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

Ville(X), Ville(Y).

j'ai plein de résultats (X=un, Y=deux; X=Un, Y=3...)

Mais si je tape

Code :

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

Ville(X), Ville(Y), ! , Ville (X), Ville (Y).

j'ai un seul et unique résultat. Je ne comprends pas pourquoi. Pour moi il devrait faire la même opération vu que le cut est situé derrière.

Comment Prolog raisonne?

[Trap D]

j'ai un seul et unique résultat. Je ne comprends pas pourquoi. Pour moi il devrait faire la même opération vu que le cut est situé derrière.

Comment Prolog raisonne?

Non, après le cut qui supprime les choix restant, X et Y sont déjà unifiés (avec un), il n'y a pas de recherche dans la base de données mais une simple vérification que ville(un) vrai
Tu peux d'ailleurs t'en rendre compte avec ce petit code :

Code :

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

1
2
3
4
ville(un).
ville(deux).
ville(trois).
toto(deux).

et l'interrogation

ville(X), ville(Y), !, toto(X), toto(Y).

[JB122]

Merci je crois que j'ai compris.