%% From Prolog's example cyclic.pl

%% Positive examples

pos(cyclic(g1)).
pos(cyclic(g2)).
pos(cyclic(g3)).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Negative examples

neg(cyclic(g4)).
neg(cyclic(g5)).