Zdefiniuj wykres w Prologu: krawędź i ścieżka, sprawdzanie, czy istnieje ścieżka między dwoma wierzchołkami

Jestem bardzo nowy w Prologu. Zdefiniowałem wgraph.pl następujący wykres: A oto mój kod Prolog: edge(a,e). edge(e,d). edge(d,c). edge(c,b). edge(b,a). edge(d,a). edge(e,c). edge(f,b). path(X,X). path(X,Y):- edge(X,Z) ; path(Z,Y). Rozumiem ...