% :- use_module(library(tabling)).


:- table(tc/2).

tc(X,Y):- adj(X,Y).
tc(X,Z):- tc(X,Y), tc(Y,Z).

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,41).
adj(41,42).
adj(42,43).
adj(43,44).
adj(44,45).
adj(45,46).
adj(46,47).
adj(47,48).
adj(48,49).
adj(49,50).
adj(50,51).
adj(51,52).
adj(52,53).
adj(53,54).
adj(54,55).
adj(55,56).
adj(56,57).
adj(57,58).
adj(58,59).
adj(59,60).
adj(60,61).
adj(61,62).
adj(62,63).
adj(63,64).
adj(64,65).
adj(65,66).
adj(66,67).
adj(67,68).
adj(68,69).
adj(69,70).
adj(70,71).
adj(71,72).
adj(72,73).
adj(73,74).
adj(74,75).
adj(75,76).
adj(76,77).
adj(77,78).
adj(78,79).
adj(79,80).
adj(80,1).

%:- statistics(cputime,X),assert(load_time(X)).
:- time(findall(_,tc(_X,_Y),_)).
%:- statistics(cputime,X),retract(load_time(LT)), Time is X-LT,write(time_was(Time)).






% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/406 
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/nldm80.P 
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/NLDM80/logicmoo_pfc_test_sanity_base_NLDM80_JUnit/ 
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ANLDM80