:- expects_dialect(pfc).

:- statistics(cputime,X),assert(load_time(X)).

adj(1,2).
adj(2,3).
adj(3,4).
adj(4,5).
adj(5,6).
adj(6,7).
adj(7,8).
adj(8,9).
adj(9,10).
adj(10,11).
adj(11,12).
adj(12,13).
adj(13,14).
adj(14,15).
adj(15,16).
adj(16,17).
adj(17,18).
adj(18,19).
adj(19,20).
adj(20,1).

adj(X,Y)==>tc(X,Y).

(tc(X,Y), tc(Y,Z))==> tc(X,Z).

:- statistics.

:- listing(tc/2).

:- mpred_why(tc(_,_)).