Discussion :

[nhan57]

Bonjour,

Je devient vraiment actif et dépendant du forum bien que j'essai d'éviter mais je suis completement desespéré...
J'essai de faire un graphe suivant
% a --- c
%%%% | \
%%%% | e
%%%% | /
% b --- d

Voici mon code

Code :

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

1
2
3
4
5
6
7
edge(a,c).
edge(b,d).
edge(c,d).
edge(c,e).
edge(d,e).
path(X,Y) :- edge(X,Y).
path(X,Y) :- edge(X,Z), path(Z,Y).

J'essai d'éditer la regle de renvoyer true si on a une liaison avec 2 ou moins en edge
Le code compile et marche mais voila que si je questionne
?- path(e,c).
false.
?- path(c,e).
true

Je ne comprends pas trop... Ensuite est-ce que ma regle est correct? Cela définiti t'il bien qu'il faille 2 ou - en liaison pour renvoyer vrai?

Merci d'avance

[Trap D]

Tel que le graphe est défini, il n'y a pas de liaison entre e et c, donc path(e, c) échoue.
Si le graphe n'est pas orienté, on peut ajouter la règle :

Code :

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

edge(X, Y) :- edge(Y, X).

[nhan57]

Merci beaucoup Trap D vous êtes toujours présent pour m'aider je vous en suis tres reconnaissant.

Je ne comprends pas pourquoi il n'y a pas de liaisons entre c et e, faire edge(c,e) ne donne pas aussi une liaison entre les deux? faut t'il faire edge(e,c)?

Edit:

Je viens de comprendre votre rajout Trap D, cela permet d'éviter de définir a l'envers car selon la façon dont je l'ai défini il semble être orienté donc votre regle permet de gagner du temps

[nhan57]

Encore un autre soucis... si je fais
path(a,e). Prolog ne répond plus de rien
Même chose pour path(a,d). En fait des que les liaisons dépassent ou sont égales a deux points.

[Trap D]

Oui, j'ai répondu un peu vite.
En fait il faut créer une nouvelle règle qui exprime une liaison entre deux noeuds :

Code :

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

1
2
liaison(X, Y) :-
    edge(X,Y); edge(Y,X).

Celà permet d'avoir un résultat, et non une boucle, lorsque par exemple edge(a,d) n'est pas codé en dur.
Maintenant, la règle path/2 peut s'écrire :

Code :

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

1
2
3
4
5
6
path(X, Y) :-
	liaison(X, Y).
 
path(X, Y) :-
	liaison(X, Z),
	path(Z, Y).

[nhan57]

Merci encore Trap D, vous êtes un chef! J'ai compris maintenant!