% Background knowledge
edge(a,b).
edge(b,c).
edge(c,d).
edge(b,a).