:- 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,1)]).

:- statistics(cputime,X),retract(load_time(LT)), Time is X-LT,
   write(time_was(Time)).





% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/340 
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/nldm20.pfc 
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/NLDM20/logicmoo_pfc_test_sanity_base_NLDM20_JUnit/ 
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ANLDM20