% This is a simple square graph
%
%   a -- b
%   |    |
%   |    |
%   d -- c
%

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