:- 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,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,81), adj(81,82), adj(82,83), adj(83,84), adj(84,85), adj(85,86), adj(86,87), adj(87,88), adj(88,89), adj(89,90), adj(90,91), adj(91,92), adj(92,93), adj(93,94), adj(94,95), adj(95,96), adj(96,97), adj(97,98), adj(98,99), adj(99,100), adj(100,101), adj(101,102), adj(102,103), adj(103,104), adj(104,105), adj(105,106), adj(106,107), adj(107,108), adj(108,109), adj(109,110), adj(110,111), adj(111,112), adj(112,113), adj(113,114), adj(114,115), adj(115,116), adj(116,117), adj(117,118), adj(118,119), adj(119,120), adj(120,121), adj(121,122), adj(122,123), adj(123,124), adj(124,125), adj(125,126), adj(126,127), adj(127,128), adj(128,129), adj(129,130), adj(130,131), adj(131,132), adj(132,133), adj(133,134), adj(134,135), adj(135,136), adj(136,137), adj(137,138), adj(138,139), adj(139,140), adj(140,141), adj(141,142), adj(142,143), adj(143,144), adj(144,145), adj(145,146), adj(146,147), adj(147,148), adj(148,149), adj(149,150), adj(150,151), adj(151,152), adj(152,153), adj(153,154), adj(154,155), adj(155,156), adj(156,157), adj(157,158), adj(158,159), adj(159,160), adj(160,161), adj(161,162), adj(162,163), adj(163,164), adj(164,165), adj(165,166), adj(166,167), adj(167,168), adj(168,169), adj(169,170), adj(170,171), adj(171,172), adj(172,173), adj(173,174), adj(174,175), adj(175,176), adj(176,177), adj(177,178), adj(178,179), adj(179,180), adj(180,181), adj(181,182), adj(182,183), adj(183,184), adj(184,185), adj(185,186), adj(186,187), adj(187,188), adj(188,189), adj(189,190), adj(190,191), adj(191,192), adj(192,193), adj(193,194), adj(194,195), adj(195,196), adj(196,197), adj(197,198), adj(198,199), adj(199,200), adj(200,201), adj(201,202), adj(202,203), adj(203,204), adj(204,205), adj(205,206), adj(206,207), adj(207,208), adj(208,209), adj(209,210), adj(210,211), adj(211,212), adj(212,213), adj(213,214), adj(214,215), adj(215,216), adj(216,217), adj(217,218), adj(218,219), adj(219,220), adj(220,221), adj(221,222), adj(222,223), adj(223,224), adj(224,225), adj(225,226), adj(226,227), adj(227,228), adj(228,229), adj(229,230), adj(230,231), adj(231,232), adj(232,233), adj(233,234), adj(234,235), adj(235,236), adj(236,237), adj(237,238), adj(238,239), adj(239,240), adj(240,241), adj(241,242), adj(242,243), adj(243,244), adj(244,245), adj(245,246), adj(246,247), adj(247,248), adj(248,249), adj(249,250), adj(250,251), adj(251,252), adj(252,253), adj(253,254), adj(254,255), adj(255,256), adj(256,257), adj(257,258), adj(258,259), adj(259,260), adj(260,261), adj(261,262), adj(262,263), adj(263,264), adj(264,265), adj(265,266), adj(266,267), adj(267,268), adj(268,269), adj(269,270), adj(270,271), adj(271,272), adj(272,273), adj(273,274), adj(274,275), adj(275,276), adj(276,277), adj(277,278), adj(278,279), adj(279,280), adj(280,281), adj(281,282), adj(282,283), adj(283,284), adj(284,285), adj(285,286), adj(286,287), adj(287,288), adj(288,289), adj(289,290), adj(290,291), adj(291,292), adj(292,293), adj(293,294), adj(294,295), adj(295,296), adj(296,297), adj(297,298), adj(298,299), adj(299,300), adj(300,301), adj(301,302), adj(302,303), adj(303,304), adj(304,305), adj(305,306), adj(306,307), adj(307,308), adj(308,309), adj(309,310), adj(310,311), adj(311,312), adj(312,313), adj(313,314), adj(314,315), adj(315,316), adj(316,317), adj(317,318), adj(318,319), adj(319,320), adj(320,321), adj(321,322), adj(322,323), adj(323,324), adj(324,325), adj(325,326), adj(326,327), adj(327,328), adj(328,329), adj(329,330), adj(330,331), adj(331,332), adj(332,333), adj(333,334), adj(334,335), adj(335,336), adj(336,337), adj(337,338), adj(338,339), adj(339,340), adj(340,341), adj(341,342), adj(342,343), adj(343,344), adj(344,345), adj(345,346), adj(346,347), adj(347,348), adj(348,349), adj(349,350), adj(350,351), adj(351,352), adj(352,353), adj(353,354), adj(354,355), adj(355,356), adj(356,357), adj(357,358), adj(358,359), adj(359,360), adj(360,361), adj(361,362), adj(362,363), adj(363,364), adj(364,365), adj(365,366), adj(366,367), adj(367,368), adj(368,369), adj(369,370), adj(370,371), adj(371,372), adj(372,373), adj(373,374), adj(374,375), adj(375,376), adj(376,377), adj(377,378), adj(378,379), adj(379,380), adj(380,381), adj(381,382), adj(382,383), adj(383,384), adj(384,385), adj(385,386), adj(386,387), adj(387,388), adj(388,389), adj(389,390), adj(390,391), adj(391,392), adj(392,393), adj(393,394), adj(394,395), adj(395,396), adj(396,397), adj(397,398), adj(398,399), adj(399,400), adj(400,401), adj(401,402), adj(402,403), adj(403,404), adj(404,405), adj(405,406), adj(406,407), adj(407,408), adj(408,409), adj(409,410), adj(410,411), adj(411,412), adj(412,413), adj(413,414), adj(414,415), adj(415,416), adj(416,417), adj(417,418), adj(418,419), adj(419,420), adj(420,421), adj(421,422), adj(422,423), adj(423,424), adj(424,425), adj(425,426), adj(426,427), adj(427,428), adj(428,429), adj(429,430), adj(430,431), adj(431,432), adj(432,433), adj(433,434), adj(434,435), adj(435,436), adj(436,437), adj(437,438), adj(438,439), adj(439,440), adj(440,441), adj(441,442), adj(442,443), adj(443,444), adj(444,445), adj(445,446), adj(446,447), adj(447,448), adj(448,449), adj(449,450), adj(450,451), adj(451,452), adj(452,453), adj(453,454), adj(454,455), adj(455,456), adj(456,457), adj(457,458), adj(458,459), adj(459,460), adj(460,461), adj(461,462), adj(462,463), adj(463,464), adj(464,465), adj(465,466), adj(466,467), adj(467,468), adj(468,469), adj(469,470), adj(470,471), adj(471,472), adj(472,473), adj(473,474), adj(474,475), adj(475,476), adj(476,477), adj(477,478), adj(478,479), adj(479,480), adj(480,481), adj(481,482), adj(482,483), adj(483,484), adj(484,485), adj(485,486), adj(486,487), adj(487,488), adj(488,489), adj(489,490), adj(490,491), adj(491,492), adj(492,493), adj(493,494), adj(494,495), adj(495,496), adj(496,497), adj(497,498), adj(498,499), adj(499,500), adj(500,501), adj(501,502), adj(502,503), adj(503,504), adj(504,505), adj(505,506), adj(506,507), adj(507,508), adj(508,509), adj(509,510), adj(510,511), adj(511,512), adj(512,513), adj(513,514), adj(514,515), adj(515,516), adj(516,517), adj(517,518), adj(518,519), adj(519,520), adj(520,521), adj(521,522), adj(522,523), adj(523,524), adj(524,525), adj(525,526), adj(526,527), adj(527,528), adj(528,529), adj(529,530), adj(530,531), adj(531,532), adj(532,533), adj(533,534), adj(534,535), adj(535,536), adj(536,537), adj(537,538), adj(538,539), adj(539,540), adj(540,541), adj(541,542), adj(542,543), adj(543,544), adj(544,545), adj(545,546), adj(546,547), adj(547,548), adj(548,549), adj(549,550), adj(550,551), adj(551,552), adj(552,553), adj(553,554), adj(554,555), adj(555,556), adj(556,557), adj(557,558), adj(558,559), adj(559,560), adj(560,561), adj(561,562), adj(562,563), adj(563,564), adj(564,565), adj(565,566), adj(566,567), adj(567,568), adj(568,569), adj(569,570), adj(570,571), adj(571,572), adj(572,573), adj(573,574), adj(574,575), adj(575,576), adj(576,577), adj(577,578), adj(578,579), adj(579,580), adj(580,581), adj(581,582), adj(582,583), adj(583,584), adj(584,585), adj(585,586), adj(586,587), adj(587,588), adj(588,589), adj(589,590), adj(590,591), adj(591,592), adj(592,593), adj(593,594), adj(594,595), adj(595,596), adj(596,597), adj(597,598), adj(598,599), adj(599,600), adj(600,601), adj(601,602), adj(602,603), adj(603,604), adj(604,605), adj(605,606), adj(606,607), adj(607,608), adj(608,609), adj(609,610), adj(610,611), adj(611,612), adj(612,613), adj(613,614), adj(614,615), adj(615,616), adj(616,617), adj(617,618), adj(618,619), adj(619,620), adj(620,621), adj(621,622), adj(622,623), adj(623,624), adj(624,625), adj(625,626), adj(626,627), adj(627,628), adj(628,629), adj(629,630), adj(630,631), adj(631,632), adj(632,633), adj(633,634), adj(634,635), adj(635,636), adj(636,637), adj(637,638), adj(638,639), adj(639,640), adj(640,641), adj(641,642), adj(642,643), adj(643,644), adj(644,645), adj(645,646), adj(646,647), adj(647,648), adj(648,649), adj(649,650), adj(650,651), adj(651,652), adj(652,653), adj(653,654), adj(654,655), adj(655,656), adj(656,657), adj(657,658), adj(658,659), adj(659,660), adj(660,661), adj(661,662), adj(662,663), adj(663,664), adj(664,665), adj(665,666), adj(666,667), adj(667,668), adj(668,669), adj(669,670), adj(670,671), adj(671,672), adj(672,673), adj(673,674), adj(674,675), adj(675,676), adj(676,677), adj(677,678), adj(678,679), adj(679,680), adj(680,681), adj(681,682), adj(682,683), adj(683,684), adj(684,685), adj(685,686), adj(686,687), adj(687,688), adj(688,689), adj(689,690), adj(690,691), adj(691,692), adj(692,693), adj(693,694), adj(694,695), adj(695,696), adj(696,697), adj(697,698), adj(698,699), adj(699,700), adj(700,701), adj(701,702), adj(702,703), adj(703,704), adj(704,705), adj(705,706), adj(706,707), adj(707,708), adj(708,709), adj(709,710), adj(710,711), adj(711,712), adj(712,713), adj(713,714), adj(714,715), adj(715,716), adj(716,717), adj(717,718), adj(718,719), adj(719,720), adj(720,721), adj(721,722), adj(722,723), adj(723,724), adj(724,725), adj(725,726), adj(726,727), adj(727,728), adj(728,729), adj(729,730), adj(730,731), adj(731,732), adj(732,733), adj(733,734), adj(734,735), adj(735,736), adj(736,737), adj(737,738), adj(738,739), adj(739,740), adj(740,741), adj(741,742), adj(742,743), adj(743,744), adj(744,745), adj(745,746), adj(746,747), adj(747,748), adj(748,749), adj(749,750), adj(750,751), adj(751,752), adj(752,753), adj(753,754), adj(754,755), adj(755,756), adj(756,757), adj(757,758), adj(758,759), adj(759,760), adj(760,761), adj(761,762), adj(762,763), adj(763,764), adj(764,765), adj(765,766), adj(766,767), adj(767,768), adj(768,769), adj(769,770), adj(770,771), adj(771,772), adj(772,773), adj(773,774), adj(774,775), adj(775,776), adj(776,777), adj(777,778), adj(778,779), adj(779,780), adj(780,781), adj(781,782), adj(782,783), adj(783,784), adj(784,785), adj(785,786), adj(786,787), adj(787,788), adj(788,789), adj(789,790), adj(790,791), adj(791,792), adj(792,793), adj(793,794), adj(794,795), adj(795,796), adj(796,797), adj(797,798), adj(798,799), adj(799,800), adj(800,801), adj(801,802), adj(802,803), adj(803,804), adj(804,805), adj(805,806), adj(806,807), adj(807,808), adj(808,809), adj(809,810), adj(810,811), adj(811,812), adj(812,813), adj(813,814), adj(814,815), adj(815,816), adj(816,817), adj(817,818), adj(818,819), adj(819,820), adj(820,821), adj(821,822), adj(822,823), adj(823,824), adj(824,825), adj(825,826), adj(826,827), adj(827,828), adj(828,829), adj(829,830), adj(830,831), adj(831,832), adj(832,833), adj(833,834), adj(834,835), adj(835,836), adj(836,837), adj(837,838), adj(838,839), adj(839,840), adj(840,841), adj(841,842), adj(842,843), adj(843,844), adj(844,845), adj(845,846), adj(846,847), adj(847,848), adj(848,849), adj(849,850), adj(850,851), adj(851,852), adj(852,853), adj(853,854), adj(854,855), adj(855,856), adj(856,857), adj(857,858), adj(858,859), adj(859,860), adj(860,861), adj(861,862), adj(862,863), adj(863,864), adj(864,865), adj(865,866), adj(866,867), adj(867,868), adj(868,869), adj(869,870), adj(870,871), adj(871,872), adj(872,873), adj(873,874), adj(874,875), adj(875,876), adj(876,877), adj(877,878), adj(878,879), adj(879,880), adj(880,881), adj(881,882), adj(882,883), adj(883,884), adj(884,885), adj(885,886), adj(886,887), adj(887,888), adj(888,889), adj(889,890), adj(890,891), adj(891,892), adj(892,893), adj(893,894), adj(894,895), adj(895,896), adj(896,897), adj(897,898), adj(898,899), adj(899,900), adj(900,901), adj(901,902), adj(902,903), adj(903,904), adj(904,905), adj(905,906), adj(906,907), adj(907,908), adj(908,909), adj(909,910), adj(910,911), adj(911,912), adj(912,913), adj(913,914), adj(914,915), adj(915,916), adj(916,917), adj(917,918), adj(918,919), adj(919,920), adj(920,921), adj(921,922), adj(922,923), adj(923,924), adj(924,925), adj(925,926), adj(926,927), adj(927,928), adj(928,929), adj(929,930), adj(930,931), adj(931,932), adj(932,933), adj(933,934), adj(934,935), adj(935,936), adj(936,937), adj(937,938), adj(938,939), adj(939,940), adj(940,941), adj(941,942), adj(942,943), adj(943,944), adj(944,945), adj(945,946), adj(946,947), adj(947,948), adj(948,949), adj(949,950), adj(950,951), adj(951,952), adj(952,953), adj(953,954), adj(954,955), adj(955,956), adj(956,957), adj(957,958), adj(958,959), adj(959,960), adj(960,961), adj(961,962), adj(962,963), adj(963,964), adj(964,965), adj(965,966), adj(966,967), adj(967,968), adj(968,969), adj(969,970), adj(970,971), adj(971,972), adj(972,973), adj(973,974), adj(974,975), adj(975,976), adj(976,977), adj(977,978), adj(978,979), adj(979,980), adj(980,981), adj(981,982), adj(982,983), adj(983,984), adj(984,985), adj(985,986), adj(986,987), adj(987,988), adj(988,989), adj(989,990), adj(990,991), adj(991,992), adj(992,993), adj(993,994), adj(994,995), adj(995,996), adj(996,997), adj(997,998), adj(998,999), adj(999,1000), adj(1000,1)]). :- statistics(cputime,X),retract(load_time(LT)), Time is X-LT, write(time_was(Time)).