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