:- expects_dialect(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







% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/405 
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/nldm40.pfc 
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/NLDM40/logicmoo_pfc_test_sanity_base_NLDM40_JUnit/ 
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ANLDM40