%
% camm/2:
% camm(X,Y) e' vero se esiste un cammino dal nodo X al nodo Y
%
% ar/2:
% ar(X,Y) e' vero se esiste un arco (diretto) dal nodo X al nodo Y
%

camm(X,Y) :- ar(X,Y).
camm(X,Y) :- ar(X,Z), camm(Z,Y).

% Un grafo d'esempio
ar(a,c).
ar(a,b).
ar(b,d).
ar(c,b).
ar(c,d).
