I\'m very new to Prolog. I have such a graph:
edge(a,e). edge(e,f). edge(f,d). edge(d,a).
I need to construct a transitive closure of a graph