Discussion :

[saidgrd]

bonjours;
je suis tous nouveau dans l'apprentissage de ce language;
en fait j'ai besoin de savoir quelque petites notions pour pouvoir passer l'examen

commençons si vous le voulez bien....

nous avons une liste [a,[b,c,d] , b,[], c,[b,d], d,[e], e,[c] ] représente un graphe orienté formé par les sommets : a,b,c,d,e

et les arcs : a-->b, a-->c, a-->d, c-->b, c-->d, d-->e, e-->c

Code :

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

1
2
3
/* pour retourner dans L la liste de tous les successeurs de X dand G */
             existe(X,L,[X,L|G]).
             existe(X,L,[Y,Z|G]) :- existe( X , L , G ).

je voudrais savoir le pourquoi du comment, si vous le voulez bien comment cette fonction retourne les successeurs de X dans la liste, en particulier ce truc ( [Y,Z|G] )

merci d'avance.

[Trap D]

Code :

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

1
2
             existe(X,L,[X,L|G]).
             existe(X,L,[Y,Z|G]) :- existe( X , L , G ).

Comme tu l'as remarqué ta liste se lit 2 éléments par 2 éléments, le noeud et ses successeurs.
La première clause existe(X,L,[X,L|G]). réussit car X est le premier élément de la liste passée en troisième argument et donc la liste des successeurs de X est l'élément L de la liste.
La seconde clause existe(X,L,[Y,Z|G]) :- existe( X , L , G ). signifie que X ne peut pas être unifié avec Y et donc la liste des successeurs de Y (c-a-d Z) ne peut pas être unifiée avec L, donc on regarde si X peut être unifié avec le reste de la liste G.

La notation [X,L|G] permet de parcourir une liste 2 éléments par 2 éléments.

[saidgrd]

merci bcp pour ton explication
c pas de la tarte ce Prolog, surtout que c assez pauvre en documentation.

ou bien ça revien peut être au fait que g pas bien suivit mon cour de logique en 2e année c'etait barbant

[Trap D]

Tu as bien sûr consulté ces pages...

ou bien ça revien peut être au fait que g pas bien suivit mon cour de logique en 2e année c'etait barbant

Prolog = Programmation Logique != Programation barbante, enfin pour moi en tout cas

[saidgrd]

désolé si je t'ai offencer, mais je visais pas la programation mais nôtre cour de logique, vu le contenu, logique des prédicats et companie...., et les notes n'etaient pas très réjuissantes, en tout cas merci

[Trap D]

Aucun problème

[Eusebius]

Quelques remarques :
- Dans certains Prologs (la plupart ?), le compilateur lèvera un warning sur le fait que G, dans la première clause, et Y et Z, dans la seconde, sont des "singletons".
- Trap D : dans la deuxième clause, rien ne dit que X ne peut pas être unifié avec Y. Si le format de représentation du graphe fait qu'un noeud n'apparaît qu'une fois dans la liste, alors le programme est sous-optimal (il y aura un peu de calcul "pour rien", et surtout il demandera systématiquement si on veut une autre solution, qui répondra fail). Sinon (dans le cas curieux où l'on peut spécifier deux ensembles de successeurs pour un même noeud) il proposera bien les divers ensembles de successeurs en tant que diverses unifications possibles de L, au lieu d'en faire l'union.