% Graph with 4 vertices

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