Graph reachability

Define edges and a transitive path.

edge(a, b). edge(b, c). edge(c, d).
path(X, Y) :- edge(X, Y).
path(X, Z) :- edge(X, Y), path(Y, Z).

?- path(a, d).
true.