Discussion :

[chateau_dur]

Salut,

Je viens de me mettre au Prolog et je cherche à faire un graphe et une règle qui me dit si la structure passée en paramètre est un graphe.

J'ai donc déclaré un graph suivant ces faits :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
 
vertex(v).
vertex(w).
vertex(x).
vertex(y).
vertex(z).
 
 
edge(y, x).
edge(x, y).
edge(x, w).
edge(w, w).
edge(w, v).

Le problème est que je ne vois pas comment englober tout ca dans une constante pour me permettre d'utiliser une règle du genre : is-empty(Graph) qui me dit donc si mon parametre est un graphe. Comment je peux faire ca ?

Ca peut paraître débile je sais bien, mais je débute vraiment

Merci !

[Trap D]

Peut-être qu'un graphe n'est qu'une liste d'arcs, de "edge" ?
Peut-être une liste composée de deux éléments, le premier étant la liste des noeuds le second la liste des arcs entre ces noeuds ?

[chateau_dur]

ok nickel ! Merci

[Trap D]

Au passage, un excellent livre sur Prolog : "L' Art de Prolog" de L. Sterling et E. Shapiro