Discussion :

[frechy]

Bonjour,

je n'arrive pas à comprendre la déclaration nondeterm dans prolog, j'ai pu lire qu'il fallait déclarer les faits nondeterm lorsque plusieurs solutions sont possibles...tout celà est très vague et je ne trouve rien avec google.

Quelqu'un pourait-il me donner un bon exemple?

merci d'avance

[ikkyu_os]

Pourrais tu être plus précis ?

Quel version de prolog ?
Que sait tu sur "nondeterm" pour l'instant ?

Perso, j'ai fais un peu de prolog (PrologII+, norme marseillaise), et j'avoue n'avoir jamais rencontré ce "nondeterm" ...

[frechy]

visual prolog 5

mais on retrouve le nondeterm dans toutes les versions prolog je pense.

Voilà exactement ce que je sais..c est pas tres long:

Si plusieurs clauses peuvent s'unifier avec un objectif, le prédicat apparaissant dans cet objectif doit etre déclaré non déterministe(utiliser le mot-clé nondeterm devant la définition du prédicat dans la section Predicates).

voilà, ca sera peut etre tres clair pour certain, mais pas pour moi

[Trap D]

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 :

Code :

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

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 :

Code :

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

mortel(X) :- personne(X),!.

il devient déterministe, une seule réponse: socrate.

Ceci dit, je suis débutant en Prolog.

[ikkyu_os]

personnellement je n'ai jamais utilisé ce nondeterm ... Je pense que cela doit être spécifique à certaines version de prolog ... peut-être à Visual Prolog justement ?

Avoir une règle prolog non déterministe me parait très courant .
En tout cas dans les quelques programmes que j'ai fais (analyseur lexico-syntaxico-sémantique, jeux avec ia, algos, etc...), cet notion de non déterminisme est très courante.

Pour moi nondeterme devrait être utilisé quand ta règle ne peut déterminer une solution grace à son contexte ... C'est-à-dire que prolog va créer autant de branches d'exécution qu'il y a de solutions pour ta règle, puis par backtracking, ils remontent toutes les solutions (sous forme de liste en général).

Je ne vois pas à quoi sert ton nondeterme .. Ton programme ne s'exécute pas correctement sans ?

As tu essayé le premier bout de code que te propose Trap D. Si à tel quel, à l'exécution il t'afffiche tous les noms, c'est qu'a priori ta "variable" n'est pas obligatoire.

[billynirvana]

lol, un kuykuy!

oui, nondeterme, ca ne me dit rien non plus. J'ai lu le lien proposé par TrapD et il me semble qu'il a raison.
Le cut est une très bonne façon de contourner le problème. Mais il faut s'en servir prudement, et pas en mettre de partout, n'est ce pas Sebou!