:- use_module(library(pfc)). :- cls. :- mpred_notrace_exec. :- statistics(cputime,X),assert(load_time(X)). (adj(X,Y)==>tc(X,Y)). (tc(X,Y),tc(Y,Z))==> tc(X,Z). :- maplist(mpred_ain, [ 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,21), adj(21,22), adj(22,23), adj(23,24), adj(24,25), adj(25,26), adj(26,27), adj(27,28), adj(28,29), adj(29,30), adj(30,31), adj(31,32), adj(32,33), adj(33,34), adj(34,35), adj(35,36), adj(36,37), adj(37,38), adj(38,39), adj(39,40), adj(40,1)]). :- statistics(cputime,X),retract(load_time(LT)), Time is X-LT, write(time_was(Time)). end_of_file. 150/55343/3148770 100 400 1600