%% background knowledge

edge(a,b).
edge(b,d).
edge(c,c).