Salut
Je te donnes un lien qui me semble un peu éclairer cette notion, que je ne connaissais pas non plus.
Voilà ce que j'en ai compris :
1 2 3 4 5 6
|
personne(socrates).
personne(platon).
personne(zenon).
personne(aristote).
mortel(X) :- personne(X). |
Ici le prédicat mortel est non déterministe :
Si on interroge mortel(X) on obtient socrate, platon, zenon, aristote.
Maintenant, si on modifie légèrement le prédicat mortel :
mortel(X) :- personne(X),!.
il devient déterministe, une seule réponse: socrate.
Ceci dit, je suis débutant en Prolog.
Partager