home *** CD-ROM | disk | FTP | other *** search
/ rtsi.com / 2014.01.www.rtsi.com.tar / www.rtsi.com / OS9 / OSK / EFFO / forum7.lzh / RICO / S_PROLOG / PROG / benchmarks.pl next >
Text File  |  1988-09-18  |  39KB  |  1,756 lines
  1.  
  2. ?- op(254,xfy,->).
  3.  
  4. P -> Q ; R :- call(P),!,call(Q).
  5. P -> Q ; R :- call(R).
  6.  
  7.  
  8. /*
  9.  
  10. PROLOG Digest            Thursday, 6 Aug 1987      Volume 5 : Issue 56
  11.  
  12. Today's Topics:
  13.                   LP Library -  AI Expert Benchmarks
  14. ----------------------------------------------------------------------
  15.  
  16. Date: Sat, 1 Aug 87 18:40:17 PDT
  17. >From: Fernando Pereira <pereira@stinson,ai,sri,com>
  18. Subject: AI Expert Prolog benchmarks
  19.  
  20. I've received several requests for the benchmarks that were used in
  21. the June issue of AI Expert, The purpose of these benchmarks is to try
  22. to identify strengths and weaknesses in the basic engine of a Prolog
  23. system,  In particular, I try to separate costs normaly conflated in
  24. other benchmark suites, such as procedure call cost, term matching and
  25. term construction costs and the costs of tail calls vs, nontail calls,
  26. I'm sure the benchmarks could be improved, but I don't have time to
  27. work on them right now, Also, I must say that I have relatively little
  28. faith on small benchmark programs, I find that performance (both time
  29. and space) on substantial programs, reliability, adherence to de facto
  30. standards and ease of use are far more important in practice, I've
  31. tried several Prolog systems that performed very well on small
  32. benchmarks (including mine), but that failed badly on one or more of
  33. these criteria,
  34.  
  35. Some of the benchmarks are inspired on a benchmark suite developed at
  36. ICOT for their SIM project, and other benchmark choices were
  37. influenced by discussions with ICOT researchers on the relative
  38. performance of SIM-I vs,  Prolog-20,
  39.  
  40. -- Fernando Pereira
  41.  
  42. To do all benchmarks try ?- benches,
  43.  
  44. */
  45.  
  46.  
  47.  
  48.  
  49. from(I, I, I) :- !.
  50. from(L, U, I) :- M is (L + U)  div 2,       from(L, M, I).
  51. from(L, U, I) :- M is (L + U)  div 2 + 1,   from(M, U, I).
  52.  
  53.  
  54.  
  55. /* S_Prolog version */
  56. ?- channel(cputime,6).
  57.  
  58. get_cpu_time(T):-
  59.     cputime(T0),
  60.     T is T0 * 1000.0.
  61.  
  62.  
  63. report(N, T0, T1, T2) :-
  64.         TestTime is T1-T0,
  65.         OverHead is T2-T1,
  66.         Average  is (TestTime-OverHead)/N,
  67.         write((TestTime-OverHead)/N=Average),
  68.         write(' milli-seconds/iteration'), nl.
  69.  
  70.  
  71.  
  72. bench_mark(Name) :-
  73.         bench_mark(Name, Iterations, Action, Control),
  74.         get_cpu_time(T0),
  75.         (   myrepeat(Iterations), call(Action), fail
  76.         ;   get_cpu_time(T1)
  77.         ),
  78.         (   myrepeat(Iterations), call(Control), fail
  79.         ;   get_cpu_time(T2)
  80.         ),
  81.         write(Name), write(' took '),
  82.         report(Iterations, T0, T1, T2).
  83.  
  84.  
  85.  
  86. myrepeat(N) :-
  87.         N > 0,
  88.         from(1, N).
  89.  
  90. from(I, I) :- !.
  91. from(L, U) :- M is (L + U) div 2,   from(L, M).
  92. from(L, U) :- M is (L + U) div 2 + 1, from(M, U).
  93.  
  94.  
  95.  
  96.  
  97.  
  98.  
  99.  
  100. benches :-
  101.     bench_mark(Name, _, _, _),
  102.     bench_mark(Name),
  103.     fail.
  104. benches.
  105.  
  106.  
  107. dummy.
  108.  
  109. dummy(_).
  110.  
  111. dummy(_, _).
  112.  
  113. dummy(_, _, _).
  114.  
  115.  
  116. bench_mark(tail_call_atom_atom, 2000, p1(a), dummy(a)).
  117.  
  118.  
  119. p1(a) :- p2(a).
  120. p2(a) :- p3(a).
  121. p3(a) :- p4(a).
  122. p4(a) :- p5(a).
  123. p5(a) :- p6(a).
  124. p6(a) :- p7(a).
  125. p7(a) :- p8(a).
  126. p8(a) :- p9(a).
  127. p9(a) :- p10(a).
  128. p10(a) :- p11(a).
  129. p11(a) :- p12(a).
  130. p12(a) :- p13(a).
  131. p13(a) :- p14(a).
  132. p14(a) :- p15(a).
  133. p15(a) :- p16(a).
  134. p16(a) :- p17(a).
  135. p17(a) :- p18(a).
  136. p18(a) :- p19(a).
  137. p19(a) :- p20(a).
  138. p20(a) :- p21(a).
  139. p21(a) :- p22(a).
  140. p22(a) :- p23(a).
  141. p23(a) :- p24(a).
  142. p24(a) :- p25(a).
  143. p25(a) :- p26(a).
  144. p26(a) :- p27(a).
  145. p27(a) :- p28(a).
  146. p28(a) :- p29(a).
  147. p29(a) :- p30(a).
  148. p30(a) :- p31(a).
  149. p31(a) :- p32(a).
  150. p32(a) :- p33(a).
  151. p33(a) :- p34(a).
  152. p34(a) :- p35(a).
  153. p35(a) :- p36(a).
  154. p36(a) :- p37(a).
  155. p37(a) :- p38(a).
  156. p38(a) :- p39(a).
  157. p39(a) :- p40(a).
  158. p40(a) :- p41(a).
  159. p41(a) :- p42(a).
  160. p42(a) :- p43(a).
  161. p43(a) :- p44(a).
  162. p44(a) :- p45(a).
  163. p45(a) :- p46(a).
  164. p46(a) :- p47(a).
  165. p47(a) :- p48(a).
  166. p48(a) :- p49(a).
  167. p49(a) :- p50(a).
  168. p50(a) :- p51(a).
  169. p51(a) :- p52(a).
  170. p52(a) :- p53(a).
  171. p53(a) :- p54(a).
  172. p54(a) :- p55(a).
  173. p55(a) :- p56(a).
  174. p56(a) :- p57(a).
  175. p57(a) :- p58(a).
  176. p58(a) :- p59(a).
  177. p59(a) :- p60(a).
  178. p60(a) :- p61(a).
  179. p61(a) :- p62(a).
  180. p62(a) :- p63(a).
  181. p63(a) :- p64(a).
  182. p64(a) :- p65(a).
  183. p65(a) :- p66(a).
  184. p66(a) :- p67(a).
  185. p67(a) :- p68(a).
  186. p68(a) :- p69(a).
  187. p69(a) :- p70(a).
  188. p70(a) :- p71(a).
  189. p71(a) :- p72(a).
  190. p72(a) :- p73(a).
  191. p73(a) :- p74(a).
  192. p74(a) :- p75(a).
  193. p75(a) :- p76(a).
  194. p76(a) :- p77(a).
  195. p77(a) :- p78(a).
  196. p78(a) :- p79(a).
  197. p79(a) :- p80(a).
  198. p80(a) :- p81(a).
  199. p81(a) :- p82(a).
  200. p82(a) :- p83(a).
  201. p83(a) :- p84(a).
  202. p84(a) :- p85(a).
  203. p85(a) :- p86(a).
  204. p86(a) :- p87(a).
  205. p87(a) :- p88(a).
  206. p88(a) :- p89(a).
  207. p89(a) :- p90(a).
  208. p90(a) :- p91(a).
  209. p91(a) :- p92(a).
  210. p92(a) :- p93(a).
  211. p93(a) :- p94(a).
  212. p94(a) :- p95(a).
  213. p95(a) :- p96(a).
  214. p96(a) :- p97(a).
  215. p97(a) :- p98(a).
  216. p98(a) :- p99(a).
  217. p99(a) :- p100(a).
  218. p100(a).
  219.  
  220.  
  221. bench_mark(binary_call_atom_atom, 2000, q1(a), dummy(a)).
  222.  
  223.  
  224. q1(a) :- q2(a), q3(a).
  225. q2(a) :- q4(a), q5(a).
  226. q3(a) :- q6(a), q7(a).
  227. q4(a) :- q8(a), q9(a).
  228. q5(a) :- q10(a), q11(a).
  229. q6(a) :- q12(a), q13(a).
  230. q7(a) :- q14(a), q15(a).
  231. q8(a) :- q16(a), q17(a).
  232. q9(a) :- q18(a), q19(a).
  233. q10(a) :- q20(a), q21(a).
  234. q11(a) :- q22(a), q23(a).
  235. q12(a) :- q24(a), q25(a).
  236. q13(a) :- q26(a), q27(a).
  237. q14(a) :- q28(a), q29(a).
  238. q15(a) :- q30(a), q31(a).
  239. q16(a) :- q32(a), q33(a).
  240. q17(a) :- q34(a), q35(a).
  241. q18(a) :- q36(a), q37(a).
  242. q19(a) :- q38(a), q39(a).
  243. q20(a) :- q40(a), q41(a).
  244. q21(a) :- q42(a), q43(a).
  245. q22(a) :- q44(a), q45(a).
  246. q23(a) :- q46(a), q47(a).
  247. q24(a) :- q48(a), q49(a).
  248. q25(a) :- q50(a), q51(a).
  249. q26(a) :- q52(a), q53(a).
  250. q27(a) :- q54(a), q55(a).
  251. q28(a) :- q56(a), q57(a).
  252. q29(a) :- q58(a), q59(a).
  253. q30(a) :- q60(a), q61(a).
  254. q31(a) :- q62(a), q63(a).
  255. q32(a) :- q64(a), q65(a).
  256. q33(a) :- q66(a), q67(a).
  257. q34(a) :- q68(a), q69(a).
  258. q35(a) :- q70(a), q71(a).
  259. q36(a) :- q72(a), q73(a).
  260. q37(a) :- q74(a), q75(a).
  261. q38(a) :- q76(a), q77(a).
  262. q39(a) :- q78(a), q79(a).
  263. q40(a) :- q80(a), q81(a).
  264. q41(a) :- q82(a), q83(a).
  265. q42(a) :- q84(a), q85(a).
  266. q43(a) :- q86(a), q87(a).
  267. q44(a) :- q88(a), q89(a).
  268. q45(a) :- q90(a), q91(a).
  269. q46(a) :- q92(a), q93(a).
  270. q47(a) :- q94(a), q95(a).
  271. q48(a) :- q96(a), q97(a).
  272. q49(a) :- q98(a), q99(a).
  273. q50(a) :- q100(a), q101(a).
  274. q51(a) :- q102(a), q103(a).
  275. q52(a) :- q104(a), q105(a).
  276. q53(a) :- q106(a), q107(a).
  277. q54(a) :- q108(a), q109(a).
  278. q55(a) :- q110(a), q111(a).
  279. q56(a) :- q112(a), q113(a).
  280. q57(a) :- q114(a), q115(a).
  281. q58(a) :- q116(a), q117(a).
  282. q59(a) :- q118(a), q119(a).
  283. q60(a) :- q120(a), q121(a).
  284. q61(a) :- q122(a), q123(a).
  285. q62(a) :- q124(a), q125(a).
  286. q63(a) :- q126(a), q127(a).
  287. q64(a).
  288. q65(a).
  289. q66(a).
  290. q67(a).
  291. q68(a).
  292. q69(a).
  293. q70(a).
  294. q71(a).
  295. q72(a).
  296. q73(a).
  297. q74(a).
  298. q75(a).
  299. q76(a).
  300. q77(a).
  301. q78(a).
  302. q79(a).
  303. q80(a).
  304. q81(a).
  305. q82(a).
  306. q83(a).
  307. q84(a).
  308. q85(a).
  309. q86(a).
  310. q87(a).
  311. q88(a).
  312. q89(a).
  313. q90(a).
  314. q91(a).
  315. q92(a).
  316. q93(a).
  317. q94(a).
  318. q95(a).
  319. q96(a).
  320. q97(a).
  321. q98(a).
  322. q99(a).
  323. q100(a).
  324. q101(a).
  325. q102(a).
  326. q103(a).
  327. q104(a).
  328. q105(a).
  329. q106(a).
  330. q107(a).
  331. q108(a).
  332. q109(a).
  333. q110(a).
  334. q111(a).
  335. q112(a).
  336. q113(a).
  337. q114(a).
  338. q115(a).
  339. q116(a).
  340. q117(a).
  341. q118(a).
  342. q119(a).
  343. q120(a).
  344. q121(a).
  345. q122(a).
  346. q123(a).
  347. q124(a).
  348. q125(a).
  349. q126(a).
  350. q127(a).
  351.  
  352.  
  353. bench_mark(cons_list, 2000, r1(L), dummy(L)).
  354.  
  355.  
  356.  
  357. bench_mark(walk_list, 2000, r1(L), dummy(L)) :- r1(L).
  358.  
  359.  
  360. bench_mark(walk_list_rec, 2000, wlr(L), dummy(L)) :- r1(L).
  361.  
  362.  
  363.  
  364. bench_mark(args(N), 2000, args(N, L), dummy(N, L)) :- args(N), r1(L).
  365.  
  366. args(1).
  367. args(2).
  368. args(4).
  369. args(8).
  370. args(16).
  371.  
  372. args(1, L) :- wlr(L).
  373. args(2, L) :- wlr(L, L).
  374. args(4, L) :- wlr(L, L, L, L).
  375. args(8, L) :- wlr(L, L, L, L, L, L, L, L).
  376. args(16, L) :- wlr(L, L, L, L, L, L, L, L, L, L, L, L, L, L, L, L).
  377.  
  378. wlr([]).
  379. wlr([_|L]) :- wlr(L).
  380.  
  381. wlr([], []).
  382. wlr([_|L1], [_|L2]) :- wlr(L1, L2).
  383.  
  384. wlr([], [], [], []).
  385. wlr([_|L1], [_|L2], [_|L3], [_|L4]) :- wlr(L1, L2, L3, L4).
  386.  
  387. wlr([], [], [], [], [], [], [], []).
  388. wlr([_|L1], [_|L2], [_|L3], [_|L4], [_|L5], [_|L6], [_|L7], [_|L8]) :-
  389.    wlr(L1, L2, L3, L4, L5, L6, L7, L8).
  390.  
  391. wlr([], [], [], [], [], [], [], [], [], [], [], [], [], [], [], []).
  392. wlr([_|L1], [_|L2], [_|L3], [_|L4], [_|L5], [_|L6], [_|L7], [_|L8],
  393.     [_|L9], [_|L10], [_|L11], [_|L12], [_|L13], [_|L14], [_|L15], [_|L16]) :-
  394.    wlr(L1, L2, L3, L4, L5, L6, L7, L8, L9, L10, L11, L12, L13, L14, L15, L16).
  395.  
  396.  
  397. r1([1|R]) :- r2(R).
  398. r2([2|R]) :- r3(R).
  399. r3([3|R]) :- r4(R).
  400. r4([4|R]) :- r5(R).
  401. r5([5|R]) :- r6(R).
  402. r6([6|R]) :- r7(R).
  403. r7([7|R]) :- r8(R).
  404. r8([8|R]) :- r9(R).
  405. r9([9|R]) :- r10(R).
  406. r10([10|R]) :- r11(R).
  407. r11([11|R]) :- r12(R).
  408. r12([12|R]) :- r13(R).
  409. r13([13|R]) :- r14(R).
  410. r14([14|R]) :- r15(R).
  411. r15([15|R]) :- r16(R).
  412. r16([16|R]) :- r17(R).
  413. r17([17|R]) :- r18(R).
  414. r18([18|R]) :- r19(R).
  415. r19([19|R]) :- r20(R).
  416. r20([20|R]) :- r21(R).
  417. r21([21|R]) :- r22(R).
  418. r22([22|R]) :- r23(R).
  419. r23([23|R]) :- r24(R).
  420. r24([24|R]) :- r25(R).
  421. r25([25|R]) :- r26(R).
  422. r26([26|R]) :- r27(R).
  423. r27([27|R]) :- r28(R).
  424. r28([28|R]) :- r29(R).
  425. r29([29|R]) :- r30(R).
  426. r30([30|R]) :- r31(R).
  427. r31([31|R]) :- r32(R).
  428. r32([32|R]) :- r33(R).
  429. r33([33|R]) :- r34(R).
  430. r34([34|R]) :- r35(R).
  431. r35([35|R]) :- r36(R).
  432. r36([36|R]) :- r37(R).
  433. r37([37|R]) :- r38(R).
  434. r38([38|R]) :- r39(R).
  435. r39([39|R]) :- r40(R).
  436. r40([40|R]) :- r41(R).
  437. r41([41|R]) :- r42(R).
  438. r42([42|R]) :- r43(R).
  439. r43([43|R]) :- r44(R).
  440. r44([44|R]) :- r45(R).
  441. r45([45|R]) :- r46(R).
  442. r46([46|R]) :- r47(R).
  443. r47([47|R]) :- r48(R).
  444. r48([48|R]) :- r49(R).
  445. r49([49|R]) :- r50(R).
  446. r50([50|R]) :- r51(R).
  447. r51([51|R]) :- r52(R).
  448. r52([52|R]) :- r53(R).
  449. r53([53|R]) :- r54(R).
  450. r54([54|R]) :- r55(R).
  451. r55([55|R]) :- r56(R).
  452. r56([56|R]) :- r57(R).
  453. r57([57|R]) :- r58(R).
  454. r58([58|R]) :- r59(R).
  455. r59([59|R]) :- r60(R).
  456. r60([60|R]) :- r61(R).
  457. r61([61|R]) :- r62(R).
  458. r62([62|R]) :- r63(R).
  459. r63([63|R]) :- r64(R).
  460. r64([64|R]) :- r65(R).
  461. r65([65|R]) :- r66(R).
  462. r66([66|R]) :- r67(R).
  463. r67([67|R]) :- r68(R).
  464. r68([68|R]) :- r69(R).
  465. r69([69|R]) :- r70(R).
  466. r70([70|R]) :- r71(R).
  467. r71([71|R]) :- r72(R).
  468. r72([72|R]) :- r73(R).
  469. r73([73|R]) :- r74(R).
  470. r74([74|R]) :- r75(R).
  471. r75([75|R]) :- r76(R).
  472. r76([76|R]) :- r77(R).
  473. r77([77|R]) :- r78(R).
  474. r78([78|R]) :- r79(R).
  475. r79([79|R]) :- r80(R).
  476. r80([80|R]) :- r81(R).
  477. r81([81|R]) :- r82(R).
  478. r82([82|R]) :- r83(R).
  479. r83([83|R]) :- r84(R).
  480. r84([84|R]) :- r85(R).
  481. r85([85|R]) :- r86(R).
  482. r86([86|R]) :- r87(R).
  483. r87([87|R]) :- r88(R).
  484. r88([88|R]) :- r89(R).
  485. r89([89|R]) :- r90(R).
  486. r90([90|R]) :- r91(R).
  487. r91([91|R]) :- r92(R).
  488. r92([92|R]) :- r93(R).
  489. r93([93|R]) :- r94(R).
  490. r94([94|R]) :- r95(R).
  491. r95([95|R]) :- r96(R).
  492. r96([96|R]) :- r97(R).
  493. r97([97|R]) :- r98(R).
  494. r98([98|R]) :- r99(R).
  495. r99([99|R]) :- r100(R).
  496. r100([100|R]) :- r101(R).
  497. r101([]).
  498.  
  499.  
  500. bench_mark(cons_term, 2000, s1(T), dummy(T)).
  501.  
  502.  
  503. bench_mark(walk_term, 2000, s1(T), dummy(T)) :- s1(T).
  504.  
  505. bench_mark(walk_term_rec, 2000, wtr(T), dummy(T)) :- s1(T).
  506.  
  507.  
  508. wtr(nil).
  509. wtr(f(_,R)) :- wtr(R).
  510.  
  511.  
  512. s1(f(1, R)) :- s2(R).
  513. s2(f(2, R)) :- s3(R).
  514. s3(f(3, R)) :- s4(R).
  515. s4(f(4, R)) :- s5(R).
  516. s5(f(5, R)) :- s6(R).
  517. s6(f(6, R)) :- s7(R).
  518. s7(f(7, R)) :- s8(R).
  519. s8(f(8, R)) :- s9(R).
  520. s9(f(9, R)) :- s10(R).
  521. s10(f(10, R)) :- s11(R).
  522. s11(f(11, R)) :- s12(R).
  523. s12(f(12, R)) :- s13(R).
  524. s13(f(13, R)) :- s14(R).
  525. s14(f(14, R)) :- s15(R).
  526. s15(f(15, R)) :- s16(R).
  527. s16(f(16, R)) :- s17(R).
  528. s17(f(17, R)) :- s18(R).
  529. s18(f(18, R)) :- s19(R).
  530. s19(f(19, R)) :- s20(R).
  531. s20(f(20, R)) :- s21(R).
  532. s21(f(21, R)) :- s22(R).
  533. s22(f(22, R)) :- s23(R).
  534. s23(f(23, R)) :- s24(R).
  535. s24(f(24, R)) :- s25(R).
  536. s25(f(25, R)) :- s26(R).
  537. s26(f(26, R)) :- s27(R).
  538. s27(f(27, R)) :- s28(R).
  539. s28(f(28, R)) :- s29(R).
  540. s29(f(29, R)) :- s30(R).
  541. s30(f(30, R)) :- s31(R).
  542. s31(f(31, R)) :- s32(R).
  543. s32(f(32, R)) :- s33(R).
  544. s33(f(33, R)) :- s34(R).
  545. s34(f(34, R)) :- s35(R).
  546. s35(f(35, R)) :- s36(R).
  547. s36(f(36, R)) :- s37(R).
  548. s37(f(37, R)) :- s38(R).
  549. s38(f(38, R)) :- s39(R).
  550. s39(f(39, R)) :- s40(R).
  551. s40(f(40, R)) :- s41(R).
  552. s41(f(41, R)) :- s42(R).
  553. s42(f(42, R)) :- s43(R).
  554. s43(f(43, R)) :- s44(R).
  555. s44(f(44, R)) :- s45(R).
  556. s45(f(45, R)) :- s46(R).
  557. s46(f(46, R)) :- s47(R).
  558. s47(f(47, R)) :- s48(R).
  559. s48(f(48, R)) :- s49(R).
  560. s49(f(49, R)) :- s50(R).
  561. s50(f(50, R)) :- s51(R).
  562. s51(f(51, R)) :- s52(R).
  563. s52(f(52, R)) :- s53(R).
  564. s53(f(53, R)) :- s54(R).
  565. s54(f(54, R)) :- s55(R).
  566. s55(f(55, R)) :- s56(R).
  567. s56(f(56, R)) :- s57(R).
  568. s57(f(57, R)) :- s58(R).
  569. s58(f(58, R)) :- s59(R).
  570. s59(f(59, R)) :- s60(R).
  571. s60(f(60, R)) :- s61(R).
  572. s61(f(61, R)) :- s62(R).
  573. s62(f(62, R)) :- s63(R).
  574. s63(f(63, R)) :- s64(R).
  575. s64(f(64, R)) :- s65(R).
  576. s65(f(65, R)) :- s66(R).
  577. s66(f(66, R)) :- s67(R).
  578. s67(f(67, R)) :- s68(R).
  579. s68(f(68, R)) :- s69(R).
  580. s69(f(69, R)) :- s70(R).
  581. s70(f(70, R)) :- s71(R).
  582. s71(f(71, R)) :- s72(R).
  583. s72(f(72, R)) :- s73(R).
  584. s73(f(73, R)) :- s74(R).
  585. s74(f(74, R)) :- s75(R).
  586. s75(f(75, R)) :- s76(R).
  587. s76(f(76, R)) :- s77(R).
  588. s77(f(77, R)) :- s78(R).
  589. s78(f(78, R)) :- s79(R).
  590. s79(f(79, R)) :- s80(R).
  591. s80(f(80, R)) :- s81(R).
  592. s81(f(81, R)) :- s82(R).
  593. s82(f(82, R)) :- s83(R).
  594. s83(f(83, R)) :- s84(R).
  595. s84(f(84, R)) :- s85(R).
  596. s85(f(85, R)) :- s86(R).
  597. s86(f(86, R)) :- s87(R).
  598. s87(f(87, R)) :- s88(R).
  599. s88(f(88, R)) :- s89(R).
  600. s89(f(89, R)) :- s90(R).
  601. s90(f(90, R)) :- s91(R).
  602. s91(f(91, R)) :- s92(R).
  603. s92(f(92, R)) :- s93(R).
  604. s93(f(93, R)) :- s94(R).
  605. s94(f(94, R)) :- s95(R).
  606. s95(f(95, R)) :- s96(R).
  607. s96(f(96, R)) :- s97(R).
  608. s97(f(97, R)) :- s98(R).
  609. s98(f(98, R)) :- s99(R).
  610. s99(f(99, R)) :- s100(R).
  611. s100(f(100, R)) :- s101(R).
  612. s101(nil).
  613.  
  614.  
  615. bench_mark(shallow_backtracking, 2000, shallow, dummy).
  616.  
  617.  
  618. bench_mark(deep_backtracking, 2000, deep, dummy).
  619.  
  620.  
  621. shallow :- b(_X, 100).
  622. deep :- b(_X, Y), Y = 100.
  623.  
  624. b(_X, 1).
  625. b(_X, 2).
  626. b(_X, 3).
  627. b(_X, 4).
  628. b(_X, 5).
  629. b(_X, 6).
  630. b(_X, 7).
  631. b(_X, 8).
  632. b(_X, 9).
  633. b(_X, 10).
  634. b(_X, 11).
  635. b(_X, 12).
  636. b(_X, 13).
  637. b(_X, 14).
  638. b(_X, 15).
  639. b(_X, 16).
  640. b(_X, 17).
  641. b(_X, 18).
  642. b(_X, 19).
  643. b(_X, 20).
  644. b(_X, 21).
  645. b(_X, 22).
  646. b(_X, 23).
  647. b(_X, 24).
  648. b(_X, 25).
  649. b(_X, 26).
  650. b(_X, 27).
  651. b(_X, 28).
  652. b(_X, 29).
  653. b(_X, 30).
  654. b(_X, 31).
  655. b(_X, 32).
  656. b(_X, 33).
  657. b(_X, 34).
  658. b(_X, 35).
  659. b(_X, 36).
  660. b(_X, 37).
  661. b(_X, 38).
  662. b(_X, 39).
  663. b(_X, 40).
  664. b(_X, 41).
  665. b(_X, 42).
  666. b(_X, 43).
  667. b(_X, 44).
  668. b(_X, 45).
  669. b(_X, 46).
  670. b(_X, 47).
  671. b(_X, 48).
  672. b(_X, 49).
  673. b(_X, 50).
  674. b(_X, 51).
  675. b(_X, 52).
  676. b(_X, 53).
  677. b(_X, 54).
  678. b(_X, 55).
  679. b(_X, 56).
  680. b(_X, 57).
  681. b(_X, 58).
  682. b(_X, 59).
  683. b(_X, 60).
  684. b(_X, 61).
  685. b(_X, 62).
  686. b(_X, 63).
  687. b(_X, 64).
  688. b(_X, 65).
  689. b(_X, 66).
  690. b(_X, 67).
  691. b(_X, 68).
  692. b(_X, 69).
  693. b(_X, 70).
  694. b(_X, 71).
  695. b(_X, 72).
  696. b(_X, 73).
  697. b(_X, 74).
  698. b(_X, 75).
  699. b(_X, 76).
  700. b(_X, 77).
  701. b(_X, 78).
  702. b(_X, 79).
  703. b(_X, 80).
  704. b(_X, 81).
  705. b(_X, 82).
  706. b(_X, 83).
  707. b(_X, 84).
  708. b(_X, 85).
  709. b(_X, 86).
  710. b(_X, 87).
  711. b(_X, 88).
  712. b(_X, 89).
  713. b(_X, 90).
  714. b(_X, 91).
  715. b(_X, 92).
  716. b(_X, 93).
  717. b(_X, 94).
  718. b(_X, 95).
  719. b(_X, 96).
  720. b(_X, 97).
  721. b(_X, 98).
  722. b(_X, 99).
  723. b(_X, 100).
  724.  
  725.  
  726. bench_mark(choice_point, 2000, choice, dummy).
  727.  
  728. choice :- c1(a), !.
  729.  
  730. c1(a) :- c2(a).
  731. c1(a).
  732. c2(a) :- c3(a).
  733. c2(a).
  734. c3(a) :- c4(a).
  735. c3(a).
  736. c4(a) :- c5(a).
  737. c4(a).
  738. c5(a) :- c6(a).
  739. c5(a).
  740. c6(a) :- c7(a).
  741. c6(a).
  742. c7(a) :- c8(a).
  743. c7(a).
  744. c8(a) :- c9(a).
  745. c8(a).
  746. c9(a) :- c10(a).
  747. c9(a).
  748. c10(a) :- c11(a).
  749. c10(a).
  750. c11(a) :- c12(a).
  751. c11(a).
  752. c12(a) :- c13(a).
  753. c12(a).
  754. c13(a) :- c14(a).
  755. c13(a).
  756. c14(a) :- c15(a).
  757. c14(a).
  758. c15(a) :- c16(a).
  759. c15(a).
  760. c16(a) :- c17(a).
  761. c16(a).
  762. c17(a) :- c18(a).
  763. c17(a).
  764. c18(a) :- c19(a).
  765. c18(a).
  766. c19(a) :- c20(a).
  767. c19(a).
  768. c20(a) :- c21(a).
  769. c20(a).
  770. c21(a) :- c22(a).
  771. c21(a).
  772. c22(a) :- c23(a).
  773. c22(a).
  774. c23(a) :- c24(a).
  775. c23(a).
  776. c24(a) :- c25(a).
  777. c24(a).
  778. c25(a) :- c26(a).
  779. c25(a).
  780. c26(a) :- c27(a).
  781. c26(a).
  782. c27(a) :- c28(a).
  783. c27(a).
  784. c28(a) :- c29(a).
  785. c28(a).
  786. c29(a) :- c30(a).
  787. c29(a).
  788. c30(a) :- c31(a).
  789. c30(a).
  790. c31(a) :- c32(a).
  791. c31(a).
  792. c32(a) :- c33(a).
  793. c32(a).
  794. c33(a) :- c34(a).
  795. c33(a).
  796. c34(a) :- c35(a).
  797. c34(a).
  798. c35(a) :- c36(a).
  799. c35(a).
  800. c36(a) :- c37(a).
  801. c36(a).
  802. c37(a) :- c38(a).
  803. c37(a).
  804. c38(a) :- c39(a).
  805. c38(a).
  806. c39(a) :- c40(a).
  807. c39(a).
  808. c40(a) :- c41(a).
  809. c40(a).
  810. c41(a) :- c42(a).
  811. c41(a).
  812. c42(a) :- c43(a).
  813. c42(a).
  814. c43(a) :- c44(a).
  815. c43(a).
  816. c44(a) :- c45(a).
  817. c44(a).
  818. c45(a) :- c46(a).
  819. c45(a).
  820. c46(a) :- c47(a).
  821. c46(a).
  822. c47(a) :- c48(a).
  823. c47(a).
  824. c48(a) :- c49(a).
  825. c48(a).
  826. c49(a) :- c50(a).
  827. c49(a).
  828. c50(a) :- c51(a).
  829. c50(a).
  830. c51(a) :- c52(a).
  831. c51(a).
  832. c52(a) :- c53(a).
  833. c52(a).
  834. c53(a) :- c54(a).
  835. c53(a).
  836. c54(a) :- c55(a).
  837. c54(a).
  838. c55(a) :- c56(a).
  839. c55(a).
  840. c56(a) :- c57(a).
  841. c56(a).
  842. c57(a) :- c58(a).
  843. c57(a).
  844. c58(a) :- c59(a).
  845. c58(a).
  846. c59(a) :- c60(a).
  847. c59(a).
  848. c60(a) :- c61(a).
  849. c60(a).
  850. c61(a) :- c62(a).
  851. c61(a).
  852. c62(a) :- c63(a).
  853. c62(a).
  854. c63(a) :- c64(a).
  855. c63(a).
  856. c64(a) :- c65(a).
  857. c64(a).
  858. c65(a) :- c66(a).
  859. c65(a).
  860. c66(a) :- c67(a).
  861. c66(a).
  862. c67(a) :- c68(a).
  863. c67(a).
  864. c68(a) :- c69(a).
  865. c68(a).
  866. c69(a) :- c70(a).
  867. c69(a).
  868. c70(a) :- c71(a).
  869. c70(a).
  870. c71(a) :- c72(a).
  871. c71(a).
  872. c72(a) :- c73(a).
  873. c72(a).
  874. c73(a) :- c74(a).
  875. c73(a).
  876. c74(a) :- c75(a).
  877. c74(a).
  878. c75(a) :- c76(a).
  879. c75(a).
  880. c76(a) :- c77(a).
  881. c76(a).
  882. c77(a) :- c78(a).
  883. c77(a).
  884. c78(a) :- c79(a).
  885. c78(a).
  886. c79(a) :- c80(a).
  887. c79(a).
  888. c80(a) :- c81(a).
  889. c80(a).
  890. c81(a) :- c82(a).
  891. c81(a).
  892. c82(a) :- c83(a).
  893. c82(a).
  894. c83(a) :- c84(a).
  895. c83(a).
  896. c84(a) :- c85(a).
  897. c84(a).
  898. c85(a) :- c86(a).
  899. c85(a).
  900. c86(a) :- c87(a).
  901. c86(a).
  902. c87(a) :- c88(a).
  903. c87(a).
  904. c88(a) :- c89(a).
  905. c88(a).
  906. c89(a) :- c90(a).
  907. c89(a).
  908. c90(a) :- c91(a).
  909. c90(a).
  910. c91(a) :- c92(a).
  911. c91(a).
  912. c92(a) :- c93(a).
  913. c92(a).
  914. c93(a) :- c94(a).
  915. c93(a).
  916. c94(a) :- c95(a).
  917. c94(a).
  918. c95(a) :- c96(a).
  919. c95(a).
  920. c96(a) :- c97(a).
  921. c96(a).
  922. c97(a) :- c98(a).
  923. c97(a).
  924. c98(a) :- c99(a).
  925. c98(a).
  926. c99(a) :- c100(a).
  927. c99(a).
  928. c100(a).
  929. c100(a).
  930.  
  931. bench_mark(trail_variables, 2000, trail, dummy).
  932.  
  933. trail :- t1(_X), !.
  934.  
  935. t1(a) :- t2(_X).
  936. t1(b).
  937. t2(a) :- t3(_X).
  938. t2(b).
  939. t3(a) :- t4(_X).
  940. t3(b).
  941. t4(a) :- t5(_X).
  942. t4(b).
  943. t5(a) :- t6(_X).
  944. t5(b).
  945. t6(a) :- t7(_X).
  946. t6(b).
  947. t7(a) :- t8(_X).
  948. t7(b).
  949. t8(a) :- t9(_X).
  950. t8(b).
  951. t9(a) :- t10(_X).
  952. t9(b).
  953. t10(a) :- t11(_X).
  954. t10(b).
  955. t11(a) :- t12(_X).
  956. t11(b).
  957. t12(a) :- t13(_X).
  958. t12(b).
  959. t13(a) :- t14(_X).
  960. t13(b).
  961. t14(a) :- t15(_X).
  962. t14(b).
  963. t15(a) :- t16(_X).
  964. t15(b).
  965. t16(a) :- t17(_X).
  966. t16(b).
  967. t17(a) :- t18(_X).
  968. t17(b).
  969. t18(a) :- t19(_X).
  970. t18(b).
  971. t19(a) :- t20(_X).
  972. t19(b).
  973. t20(a) :- t21(_X).
  974. t20(b).
  975. t21(a) :- t22(_X).
  976. t21(b).
  977. t22(a) :- t23(_X).
  978. t22(b).
  979. t23(a) :- t24(_X).
  980. t23(b).
  981. t24(a) :- t25(_X).
  982. t24(b).
  983. t25(a) :- t26(_X).
  984. t25(b).
  985. t26(a) :- t27(_X).
  986. t26(b).
  987. t27(a) :- t28(_X).
  988. t27(b).
  989. t28(a) :- t29(_X).
  990. t28(b).
  991. t29(a) :- t30(_X).
  992. t29(b).
  993. t30(a) :- t31(_X).
  994. t30(b).
  995. t31(a) :- t32(_X).
  996. t31(b).
  997. t32(a) :- t33(_X).
  998. t32(b).
  999. t33(a) :- t34(_X).
  1000. t33(b).
  1001. t34(a) :- t35(_X).
  1002. t34(b).
  1003. t35(a) :- t36(_X).
  1004. t35(b).
  1005. t36(a) :- t37(_X).
  1006. t36(b).
  1007. t37(a) :- t38(_X).
  1008. t37(b).
  1009. t38(a) :- t39(_X).
  1010. t38(b).
  1011. t39(a) :- t40(_X).
  1012. t39(b).
  1013. t40(a) :- t41(_X).
  1014. t40(b).
  1015. t41(a) :- t42(_X).
  1016. t41(b).
  1017. t42(a) :- t43(_X).
  1018. t42(b).
  1019. t43(a) :- t44(_X).
  1020. t43(b).
  1021. t44(a) :- t45(_X).
  1022. t44(b).
  1023. t45(a) :- t46(_X).
  1024. t45(b).
  1025. t46(a) :- t47(_X).
  1026. t46(b).
  1027. t47(a) :- t48(_X).
  1028. t47(b).
  1029. t48(a) :- t49(_X).
  1030. t48(b).
  1031. t49(a) :- t50(_X).
  1032. t49(b).
  1033. t50(a) :- t51(_X).
  1034. t50(b).
  1035. t51(a) :- t52(_X).
  1036. t51(b).
  1037. t52(a) :- t53(_X).
  1038. t52(b).
  1039. t53(a) :- t54(_X).
  1040. t53(b).
  1041. t54(a) :- t55(_X).
  1042. t54(b).
  1043. t55(a) :- t56(_X).
  1044. t55(b).
  1045. t56(a) :- t57(_X).
  1046. t56(b).
  1047. t57(a) :- t58(_X).
  1048. t57(b).
  1049. t58(a) :- t59(_X).
  1050. t58(b).
  1051. t59(a) :- t60(_X).
  1052. t59(b).
  1053. t60(a) :- t61(_X).
  1054. t60(b).
  1055. t61(a) :- t62(_X).
  1056. t61(b).
  1057. t62(a) :- t63(_X).
  1058. t62(b).
  1059. t63(a) :- t64(_X).
  1060. t63(b).
  1061. t64(a) :- t65(_X).
  1062. t64(b).
  1063. t65(a) :- t66(_X).
  1064. t65(b).
  1065. t66(a) :- t67(_X).
  1066. t66(b).
  1067. t67(a) :- t68(_X).
  1068. t67(b).
  1069. t68(a) :- t69(_X).
  1070. t68(b).
  1071. t69(a) :- t70(_X).
  1072. t69(b).
  1073. t70(a) :- t71(_X).
  1074. t70(b).
  1075. t71(a) :- t72(_X).
  1076. t71(b).
  1077. t72(a) :- t73(_X).
  1078. t72(b).
  1079. t73(a) :- t74(_X).
  1080. t73(b).
  1081. t74(a) :- t75(_X).
  1082. t74(b).
  1083. t75(a) :- t76(_X).
  1084. t75(b).
  1085. t76(a) :- t77(_X).
  1086. t76(b).
  1087. t77(a) :- t78(_X).
  1088. t77(b).
  1089. t78(a) :- t79(_X).
  1090. t78(b).
  1091. t79(a) :- t80(_X).
  1092. t79(b).
  1093. t80(a) :- t81(_X).
  1094. t80(b).
  1095. t81(a) :- t82(_X).
  1096. t81(b).
  1097. t82(a) :- t83(_X).
  1098. t82(b).
  1099. t83(a) :- t84(_X).
  1100. t83(b).
  1101. t84(a) :- t85(_X).
  1102. t84(b).
  1103. t85(a) :- t86(_X).
  1104. t85(b).
  1105. t86(a) :- t87(_X).
  1106. t86(b).
  1107. t87(a) :- t88(_X).
  1108. t87(b).
  1109. t88(a) :- t89(_X).
  1110. t88(b).
  1111. t89(a) :- t90(_X).
  1112. t89(b).
  1113. t90(a) :- t91(_X).
  1114. t90(b).
  1115. t91(a) :- t92(_X).
  1116. t91(b).
  1117. t92(a) :- t93(_X).
  1118. t92(b).
  1119. t93(a) :- t94(_X).
  1120. t93(b).
  1121. t94(a) :- t95(_X).
  1122. t94(b).
  1123. t95(a) :- t96(_X).
  1124. t95(b).
  1125. t96(a) :- t97(_X).
  1126. t96(b).
  1127. t97(a) :- t98(_X).
  1128. t97(b).
  1129. t98(a) :- t99(_X).
  1130. t98(b).
  1131. t99(a) :- t100(_X).
  1132. t99(b).
  1133. t100(a).
  1134. t100(b).
  1135.  
  1136. bench_mark(medium_unify, 2000, equal(Term1, Term2), dummy(Term1, Term2)) :-
  1137.    term64(Term1),
  1138.    term64(Term2).
  1139. bench_mark(deep_unify, 100, equal(Term1, Term2), dummy(Term1, Term2)) :-
  1140.    term4096(Term1),
  1141.    term4096(Term2).
  1142.  
  1143. equal(X, X).
  1144.  
  1145. term64(X1) :-
  1146.    X1 = f(X2, X2),
  1147.    X2 = f(X4, X4),
  1148.    X4 = f(X8, X8),
  1149.    X8 = f(X16, X16),
  1150.    X16 = f(X32, X32),
  1151.    X32 = f(X64, X64).
  1152.  
  1153. term4096(X1) :-
  1154.    X1 = f(X2, X2),
  1155.    X2 = f(X4, X4),
  1156.    X4 = f(X8, X8),
  1157.    X8 = f(X16, X16),
  1158.    X16 = f(X32, X32),
  1159.    X32 = f(X64, X64),
  1160.    X64 = f(X128, X128),
  1161.    X128 = f(X256, X256),
  1162.    X256 = f(X512, X512),
  1163.    X512 = f(X1024, X1024),
  1164.    X1024 = f(X2048, X2048),
  1165.    X2048 = f(X4096, X4096).
  1166.  
  1167. bench_mark(integer_add, 1000, a1(0, 1, R), dummy(0, 1, R)).
  1168.  
  1169. a1(M, K, P) :- N is M + K, a2(N, 2, P).
  1170. a2(M, K, P) :- N is M + K, a3(N, 3, P).
  1171. a3(M, K, P) :- N is M + K, a4(N, 4, P).
  1172. a4(M, K, P) :- N is M + K, a5(N, 5, P).
  1173. a5(M, K, P) :- N is M + K, a6(N, 6, P).
  1174. a6(M, K, P) :- N is M + K, a7(N, 7, P).
  1175. a7(M, K, P) :- N is M + K, a8(N, 8, P).
  1176. a8(M, K, P) :- N is M + K, a9(N, 9, P).
  1177. a9(M, K, P) :- N is M + K, a10(N, 10, P).
  1178. a10(M, K, P) :- N is M + K, a11(N, 11, P).
  1179. a11(M, K, P) :- N is M + K, a12(N, 12, P).
  1180. a12(M, K, P) :- N is M + K, a13(N, 13, P).
  1181. a13(M, K, P) :- N is M + K, a14(N, 14, P).
  1182. a14(M, K, P) :- N is M + K, a15(N, 15, P).
  1183. a15(M, K, P) :- N is M + K, a16(N, 16, P).
  1184. a16(M, K, P) :- N is M + K, a17(N, 17, P).
  1185. a17(M, K, P) :- N is M + K, a18(N, 18, P).
  1186. a18(M, K, P) :- N is M + K, a19(N, 19, P).
  1187. a19(M, K, P) :- N is M + K, a20(N, 20, P).
  1188. a20(M, K, P) :- N is M + K, a21(N, 21, P).
  1189. a21(M, K, P) :- N is M + K, a22(N, 22, P).
  1190. a22(M, K, P) :- N is M + K, a23(N, 23, P).
  1191. a23(M, K, P) :- N is M + K, a24(N, 24, P).
  1192. a24(M, K, P) :- N is M + K, a25(N, 25, P).
  1193. a25(M, K, P) :- N is M + K, a26(N, 26, P).
  1194. a26(M, K, P) :- N is M + K, a27(N, 27, P).
  1195. a27(M, K, P) :- N is M + K, a28(N, 28, P).
  1196. a28(M, K, P) :- N is M + K, a29(N, 29, P).
  1197. a29(M, K, P) :- N is M + K, a30(N, 30, P).
  1198. a30(M, K, P) :- N is M + K, a31(N, 31, P).
  1199. a31(M, K, P) :- N is M + K, a32(N, 32, P).
  1200. a32(M, K, P) :- N is M + K, a33(N, 33, P).
  1201. a33(M, K, P) :- N is M + K, a34(N, 34, P).
  1202. a34(M, K, P) :- N is M + K, a35(N, 35, P).
  1203. a35(M, K, P) :- N is M + K, a36(N, 36, P).
  1204. a36(M, K, P) :- N is M + K, a37(N, 37, P).
  1205. a37(M, K, P) :- N is M + K, a38(N, 38, P).
  1206. a38(M, K, P) :- N is M + K, a39(N, 39, P).
  1207. a39(M, K, P) :- N is M + K, a40(N, 40, P).
  1208. a40(M, K, P) :- N is M + K, a41(N, 41, P).
  1209. a41(M, K, P) :- N is M + K, a42(N, 42, P).
  1210. a42(M, K, P) :- N is M + K, a43(N, 43, P).
  1211. a43(M, K, P) :- N is M + K, a44(N, 44, P).
  1212. a44(M, K, P) :- N is M + K, a45(N, 45, P).
  1213. a45(M, K, P) :- N is M + K, a46(N, 46, P).
  1214. a46(M, K, P) :- N is M + K, a47(N, 47, P).
  1215. a47(M, K, P) :- N is M + K, a48(N, 48, P).
  1216. a48(M, K, P) :- N is M + K, a49(N, 49, P).
  1217. a49(M, K, P) :- N is M + K, a50(N, 50, P).
  1218. a50(M, K, P) :- N is M + K, a51(N, 51, P).
  1219. a51(M, K, P) :- N is M + K, a52(N, 52, P).
  1220. a52(M, K, P) :- N is M + K, a53(N, 53, P).
  1221. a53(M, K, P) :- N is M + K, a54(N, 54, P).
  1222. a54(M, K, P) :- N is M + K, a55(N, 55, P).
  1223. a55(M, K, P) :- N is M + K, a56(N, 56, P).
  1224. a56(M, K, P) :- N is M + K, a57(N, 57, P).
  1225. a57(M, K, P) :- N is M + K, a58(N, 58, P).
  1226. a58(M, K, P) :- N is M + K, a59(N, 59, P).
  1227. a59(M, K, P) :- N is M + K, a60(N, 60, P).
  1228. a60(M, K, P) :- N is M + K, a61(N, 61, P).
  1229. a61(M, K, P) :- N is M + K, a62(N, 62, P).
  1230. a62(M, K, P) :- N is M + K, a63(N, 63, P).
  1231. a63(M, K, P) :- N is M + K, a64(N, 64, P).
  1232. a64(M, K, P) :- N is M + K, a65(N, 65, P).
  1233. a65(M, K, P) :- N is M + K, a66(N, 66, P).
  1234. a66(M, K, P) :- N is M + K, a67(N, 67, P).
  1235. a67(M, K, P) :- N is M + K, a68(N, 68, P).
  1236. a68(M, K, P) :- N is M + K, a69(N, 69, P).
  1237. a69(M, K, P) :- N is M + K, a70(N, 70, P).
  1238. a70(M, K, P) :- N is M + K, a71(N, 71, P).
  1239. a71(M, K, P) :- N is M + K, a72(N, 72, P).
  1240. a72(M, K, P) :- N is M + K, a73(N, 73, P).
  1241. a73(M, K, P) :- N is M + K, a74(N, 74, P).
  1242. a74(M, K, P) :- N is M + K, a75(N, 75, P).
  1243. a75(M, K, P) :- N is M + K, a76(N, 76, P).
  1244. a76(M, K, P) :- N is M + K, a77(N, 77, P).
  1245. a77(M, K, P) :- N is M + K, a78(N, 78, P).
  1246. a78(M, K, P) :- N is M + K, a79(N, 79, P).
  1247. a79(M, K, P) :- N is M + K, a80(N, 80, P).
  1248. a80(M, K, P) :- N is M + K, a81(N, 81, P).
  1249. a81(M, K, P) :- N is M + K, a82(N, 82, P).
  1250. a82(M, K, P) :- N is M + K, a83(N, 83, P).
  1251. a83(M, K, P) :- N is M + K, a84(N, 84, P).
  1252. a84(M, K, P) :- N is M + K, a85(N, 85, P).
  1253. a85(M, K, P) :- N is M + K, a86(N, 86, P).
  1254. a86(M, K, P) :- N is M + K, a87(N, 87, P).
  1255. a87(M, K, P) :- N is M + K, a88(N, 88, P).
  1256. a88(M, K, P) :- N is M + K, a89(N, 89, P).
  1257. a89(M, K, P) :- N is M + K, a90(N, 90, P).
  1258. a90(M, K, P) :- N is M + K, a91(N, 91, P).
  1259. a91(M, K, P) :- N is M + K, a92(N, 92, P).
  1260. a92(M, K, P) :- N is M + K, a93(N, 93, P).
  1261. a93(M, K, P) :- N is M + K, a94(N, 94, P).
  1262. a94(M, K, P) :- N is M + K, a95(N, 95, P).
  1263. a95(M, K, P) :- N is M + K, a96(N, 96, P).
  1264. a96(M, K, P) :- N is M + K, a97(N, 97, P).
  1265. a97(M, K, P) :- N is M + K, a98(N, 98, P).
  1266. a98(M, K, P) :- N is M + K, a99(N, 99, P).
  1267. a99(M, K, P) :- N is M + K, a100(N, 100, P).
  1268. a100(M, K, P) :- P is M + K.
  1269.  
  1270. bench_mark(floating_add, 1000, fa1(0.1, 1.1, R), dummy(0.1, 1.1, R)).
  1271.  
  1272. fa1(M, K, P) :- N is M + K, fa2(N, 2.1, P).
  1273. fa2(M, K, P) :- N is M + K, fa3(N, 3.1, P).
  1274. fa3(M, K, P) :- N is M + K, fa4(N, 4.1, P).
  1275. fa4(M, K, P) :- N is M + K, fa5(N, 5.1, P).
  1276. fa5(M, K, P) :- N is M + K, fa6(N, 6.1, P).
  1277. fa6(M, K, P) :- N is M + K, fa7(N, 7.1, P).
  1278. fa7(M, K, P) :- N is M + K, fa8(N, 8.1, P).
  1279. fa8(M, K, P) :- N is M + K, fa9(N, 9.1, P).
  1280. fa9(M, K, P) :- N is M + K, fa10(N, 10.1, P).
  1281. fa10(M, K, P) :- N is M + K, fa11(N, 11.1, P).
  1282. fa11(M, K, P) :- N is M + K, fa12(N, 12.1, P).
  1283. fa12(M, K, P) :- N is M + K, fa13(N, 13.1, P).
  1284. fa13(M, K, P) :- N is M + K, fa14(N, 14.1, P).
  1285. fa14(M, K, P) :- N is M + K, fa15(N, 15.1, P).
  1286. fa15(M, K, P) :- N is M + K, fa16(N, 16.1, P).
  1287. fa16(M, K, P) :- N is M + K, fa17(N, 17.1, P).
  1288. fa17(M, K, P) :- N is M + K, fa18(N, 18.1, P).
  1289. fa18(M, K, P) :- N is M + K, fa19(N, 19.1, P).
  1290. fa19(M, K, P) :- N is M + K, fa20(N, 20.1, P).
  1291. fa20(M, K, P) :- N is M + K, fa21(N, 21.1, P).
  1292. fa21(M, K, P) :- N is M + K, fa22(N, 22.1, P).
  1293. fa22(M, K, P) :- N is M + K, fa23(N, 23.1, P).
  1294. fa23(M, K, P) :- N is M + K, fa24(N, 24.1, P).
  1295. fa24(M, K, P) :- N is M + K, fa25(N, 25.1, P).
  1296. fa25(M, K, P) :- N is M + K, fa26(N, 26.1, P).
  1297. fa26(M, K, P) :- N is M + K, fa27(N, 27.1, P).
  1298. fa27(M, K, P) :- N is M + K, fa28(N, 28.1, P).
  1299. fa28(M, K, P) :- N is M + K, fa29(N, 29.1, P).
  1300. fa29(M, K, P) :- N is M + K, fa30(N, 30.1, P).
  1301. fa30(M, K, P) :- N is M + K, fa31(N, 31.1, P).
  1302. fa31(M, K, P) :- N is M + K, fa32(N, 32.1, P).
  1303. fa32(M, K, P) :- N is M + K, fa33(N, 33.1, P).
  1304. fa33(M, K, P) :- N is M + K, fa34(N, 34.1, P).
  1305. fa34(M, K, P) :- N is M + K, fa35(N, 35.1, P).
  1306. fa35(M, K, P) :- N is M + K, fa36(N, 36.1, P).
  1307. fa36(M, K, P) :- N is M + K, fa37(N, 37.1, P).
  1308. fa37(M, K, P) :- N is M + K, fa38(N, 38.1, P).
  1309. fa38(M, K, P) :- N is M + K, fa39(N, 39.1, P).
  1310. fa39(M, K, P) :- N is M + K, fa40(N, 40.1, P).
  1311. fa40(M, K, P) :- N is M + K, fa41(N, 41.1, P).
  1312. fa41(M, K, P) :- N is M + K, fa42(N, 42.1, P).
  1313. fa42(M, K, P) :- N is M + K, fa43(N, 43.1, P).
  1314. fa43(M, K, P) :- N is M + K, fa44(N, 44.1, P).
  1315. fa44(M, K, P) :- N is M + K, fa45(N, 45.1, P).
  1316. fa45(M, K, P) :- N is M + K, fa46(N, 46.1, P).
  1317. fa46(M, K, P) :- N is M + K, fa47(N, 47.1, P).
  1318. fa47(M, K, P) :- N is M + K, fa48(N, 48.1, P).
  1319. fa48(M, K, P) :- N is M + K, fa49(N, 49.1, P).
  1320. fa49(M, K, P) :- N is M + K, fa50(N, 50.1, P).
  1321. fa50(M, K, P) :- N is M + K, fa51(N, 51.1, P).
  1322. fa51(M, K, P) :- N is M + K, fa52(N, 52.1, P).
  1323. fa52(M, K, P) :- N is M + K, fa53(N, 53.1, P).
  1324. fa53(M, K, P) :- N is M + K, fa54(N, 54.1, P).
  1325. fa54(M, K, P) :- N is M + K, fa55(N, 55.1, P).
  1326. fa55(M, K, P) :- N is M + K, fa56(N, 56.1, P).
  1327. fa56(M, K, P) :- N is M + K, fa57(N, 57.1, P).
  1328. fa57(M, K, P) :- N is M + K, fa58(N, 58.1, P).
  1329. fa58(M, K, P) :- N is M + K, fa59(N, 59.1, P).
  1330. fa59(M, K, P) :- N is M + K, fa60(N, 60.1, P).
  1331. fa60(M, K, P) :- N is M + K, fa61(N, 61.1, P).
  1332. fa61(M, K, P) :- N is M + K, fa62(N, 62.1, P).
  1333. fa62(M, K, P) :- N is M + K, fa63(N, 63.1, P).
  1334. fa63(M, K, P) :- N is M + K, fa64(N, 64.1, P).
  1335. fa64(M, K, P) :- N is M + K, fa65(N, 65.1, P).
  1336. fa65(M, K, P) :- N is M + K, fa66(N, 66.1, P).
  1337. fa66(M, K, P) :- N is M + K, fa67(N, 67.1, P).
  1338. fa67(M, K, P) :- N is M + K, fa68(N, 68.1, P).
  1339. fa68(M, K, P) :- N is M + K, fa69(N, 69.1, P).
  1340. fa69(M, K, P) :- N is M + K, fa70(N, 70.1, P).
  1341. fa70(M, K, P) :- N is M + K, fa71(N, 71.1, P).
  1342. fa71(M, K, P) :- N is M + K, fa72(N, 72.1, P).
  1343. fa72(M, K, P) :- N is M + K, fa73(N, 73.1, P).
  1344. fa73(M, K, P) :- N is M + K, fa74(N, 74.1, P).
  1345. fa74(M, K, P) :- N is M + K, fa75(N, 75.1, P).
  1346. fa75(M, K, P) :- N is M + K, fa76(N, 76.1, P).
  1347. fa76(M, K, P) :- N is M + K, fa77(N, 77.1, P).
  1348. fa77(M, K, P) :- N is M + K, fa78(N, 78.1, P).
  1349. fa78(M, K, P) :- N is M + K, fa79(N, 79.1, P).
  1350. fa79(M, K, P) :- N is M + K, fa80(N, 80.1, P).
  1351. fa80(M, K, P) :- N is M + K, fa81(N, 81.1, P).
  1352. fa81(M, K, P) :- N is M + K, fa82(N, 82.1, P).
  1353. fa82(M, K, P) :- N is M + K, fa83(N, 83.1, P).
  1354. fa83(M, K, P) :- N is M + K, fa84(N, 84.1, P).
  1355. fa84(M, K, P) :- N is M + K, fa85(N, 85.1, P).
  1356. fa85(M, K, P) :- N is M + K, fa86(N, 86.1, P).
  1357. fa86(M, K, P) :- N is M + K, fa87(N, 87.1, P).
  1358. fa87(M, K, P) :- N is M + K, fa88(N, 88.1, P).
  1359. fa88(M, K, P) :- N is M + K, fa89(N, 89.1, P).
  1360. fa89(M, K, P) :- N is M + K, fa90(N, 90.1, P).
  1361. fa90(M, K, P) :- N is M + K, fa91(N, 91.1, P).
  1362. fa91(M, K, P) :- N is M + K, fa92(N, 92.1, P).
  1363. fa92(M, K, P) :- N is M + K, fa93(N, 93.1, P).
  1364. fa93(M, K, P) :- N is M + K, fa94(N, 94.1, P).
  1365. fa94(M, K, P) :- N is M + K, fa95(N, 95.1, P).
  1366. fa95(M, K, P) :- N is M + K, fa96(N, 96.1, P).
  1367. fa96(M, K, P) :- N is M + K, fa97(N, 97.1, P).
  1368. fa97(M, K, P) :- N is M + K, fa98(N, 98.1, P).
  1369. fa98(M, K, P) :- N is M + K, fa99(N, 99.1, P).
  1370. fa99(M, K, P) :- N is M + K, fa100(N, 100.1, P).
  1371. fa100(M, K, P) :- P is M + K.
  1372.  
  1373.  
  1374. bench_mark(arg(N), 2000, arg1(N, Term, R), dummy(N, Term, R)) :-
  1375.    args(N),
  1376.    complex_nary_term(100, N, Term).
  1377.  
  1378. complex_nary_term(0, N, N) :- !.
  1379. complex_nary_term(I, N, Term) :-
  1380.    I > 0, J is I - 1,
  1381.    complex_nary_term(J, N, SubTerm),
  1382.    nary_term(N, SubTerm, Term).
  1383.  
  1384. nary_term(N, SubTerm, Term) :-
  1385.    functor(Term, f, N),
  1386.    fill_nary_term(N, SubTerm, Term).
  1387.  
  1388. fill_nary_term(0, _, _) :- !.
  1389. fill_nary_term(N, SubTerm, Term) :-
  1390.    N > 0, M is N - 1,
  1391.    arg(N, Term, SubTerm),
  1392.    fill_nary_term(M, SubTerm, Term).
  1393.  
  1394. arg1(N, T, R) :- arg(N, T, X), arg2(N, X, R).
  1395. arg2(N, T, R) :- arg(N, T, X), arg3(N, X, R).
  1396. arg3(N, T, R) :- arg(N, T, X), arg4(N, X, R).
  1397. arg4(N, T, R) :- arg(N, T, X), arg5(N, X, R).
  1398. arg5(N, T, R) :- arg(N, T, X), arg6(N, X, R).
  1399. arg6(N, T, R) :- arg(N, T, X), arg7(N, X, R).
  1400. arg7(N, T, R) :- arg(N, T, X), arg8(N, X, R).
  1401. arg8(N, T, R) :- arg(N, T, X), arg9(N, X, R).
  1402. arg9(N, T, R) :- arg(N, T, X), arg10(N, X, R).
  1403. arg10(N, T, R) :- arg(N, T, X), arg11(N, X, R).
  1404. arg11(N, T, R) :- arg(N, T, X), arg12(N, X, R).
  1405. arg12(N, T, R) :- arg(N, T, X), arg13(N, X, R).
  1406. arg13(N, T, R) :- arg(N, T, X), arg14(N, X, R).
  1407. arg14(N, T, R) :- arg(N, T, X), arg15(N, X, R).
  1408. arg15(N, T, R) :- arg(N, T, X), arg16(N, X, R).
  1409. arg16(N, T, R) :- arg(N, T, X), arg17(N, X, R).
  1410. arg17(N, T, R) :- arg(N, T, X), arg18(N, X, R).
  1411. arg18(N, T, R) :- arg(N, T, X), arg19(N, X, R).
  1412. arg19(N, T, R) :- arg(N, T, X), arg20(N, X, R).
  1413. arg20(N, T, R) :- arg(N, T, X), arg21(N, X, R).
  1414. arg21(N, T, R) :- arg(N, T, X), arg22(N, X, R).
  1415. arg22(N, T, R) :- arg(N, T, X), arg23(N, X, R).
  1416. arg23(N, T, R) :- arg(N, T, X), arg24(N, X, R).
  1417. arg24(N, T, R) :- arg(N, T, X), arg25(N, X, R).
  1418. arg25(N, T, R) :- arg(N, T, X), arg26(N, X, R).
  1419. arg26(N, T, R) :- arg(N, T, X), arg27(N, X, R).
  1420. arg27(N, T, R) :- arg(N, T, X), arg28(N, X, R).
  1421. arg28(N, T, R) :- arg(N, T, X), arg29(N, X, R).
  1422. arg29(N, T, R) :- arg(N, T, X), arg30(N, X, R).
  1423. arg30(N, T, R) :- arg(N, T, X), arg31(N, X, R).
  1424. arg31(N, T, R) :- arg(N, T, X), arg32(N, X, R).
  1425. arg32(N, T, R) :- arg(N, T, X), arg33(N, X, R).
  1426. arg33(N, T, R) :- arg(N, T, X), arg34(N, X, R).
  1427. arg34(N, T, R) :- arg(N, T, X), arg35(N, X, R).
  1428. arg35(N, T, R) :- arg(N, T, X), arg36(N, X, R).
  1429. arg36(N, T, R) :- arg(N, T, X), arg37(N, X, R).
  1430. arg37(N, T, R) :- arg(N, T, X), arg38(N, X, R).
  1431. arg38(N, T, R) :- arg(N, T, X), arg39(N, X, R).
  1432. arg39(N, T, R) :- arg(N, T, X), arg40(N, X, R).
  1433. arg40(N, T, R) :- arg(N, T, X), arg41(N, X, R).
  1434. arg41(N, T, R) :- arg(N, T, X), arg42(N, X, R).
  1435. arg42(N, T, R) :- arg(N, T, X), arg43(N, X, R).
  1436. arg43(N, T, R) :- arg(N, T, X), arg44(N, X, R).
  1437. arg44(N, T, R) :- arg(N, T, X), arg45(N, X, R).
  1438. arg45(N, T, R) :- arg(N, T, X), arg46(N, X, R).
  1439. arg46(N, T, R) :- arg(N, T, X), arg47(N, X, R).
  1440. arg47(N, T, R) :- arg(N, T, X), arg48(N, X, R).
  1441. arg48(N, T, R) :- arg(N, T, X), arg49(N, X, R).
  1442. arg49(N, T, R) :- arg(N, T, X), arg50(N, X, R).
  1443. arg50(N, T, R) :- arg(N, T, X), arg51(N, X, R).
  1444. arg51(N, T, R) :- arg(N, T, X), arg52(N, X, R).
  1445. arg52(N, T, R) :- arg(N, T, X), arg53(N, X, R).
  1446. arg53(N, T, R) :- arg(N, T, X), arg54(N, X, R).
  1447. arg54(N, T, R) :- arg(N, T, X), arg55(N, X, R).
  1448. arg55(N, T, R) :- arg(N, T, X), arg56(N, X, R).
  1449. arg56(N, T, R) :- arg(N, T, X), arg57(N, X, R).
  1450. arg57(N, T, R) :- arg(N, T, X), arg58(N, X, R).
  1451. arg58(N, T, R) :- arg(N, T, X), arg59(N, X, R).
  1452. arg59(N, T, R) :- arg(N, T, X), arg60(N, X, R).
  1453. arg60(N, T, R) :- arg(N, T, X), arg61(N, X, R).
  1454. arg61(N, T, R) :- arg(N, T, X), arg62(N, X, R).
  1455. arg62(N, T, R) :- arg(N, T, X), arg63(N, X, R).
  1456. arg63(N, T, R) :- arg(N, T, X), arg64(N, X, R).
  1457. arg64(N, T, R) :- arg(N, T, X), arg65(N, X, R).
  1458. arg65(N, T, R) :- arg(N, T, X), arg66(N, X, R).
  1459. arg66(N, T, R) :- arg(N, T, X), arg67(N, X, R).
  1460. arg67(N, T, R) :- arg(N, T, X), arg68(N, X, R).
  1461. arg68(N, T, R) :- arg(N, T, X), arg69(N, X, R).
  1462. arg69(N, T, R) :- arg(N, T, X), arg70(N, X, R).
  1463. arg70(N, T, R) :- arg(N, T, X), arg71(N, X, R).
  1464. arg71(N, T, R) :- arg(N, T, X), arg72(N, X, R).
  1465. arg72(N, T, R) :- arg(N, T, X), arg73(N, X, R).
  1466. arg73(N, T, R) :- arg(N, T, X), arg74(N, X, R).
  1467. arg74(N, T, R) :- arg(N, T, X), arg75(N, X, R).
  1468. arg75(N, T, R) :- arg(N, T, X), arg76(N, X, R).
  1469. arg76(N, T, R) :- arg(N, T, X), arg77(N, X, R).
  1470. arg77(N, T, R) :- arg(N, T, X), arg78(N, X, R).
  1471. arg78(N, T, R) :- arg(N, T, X), arg79(N, X, R).
  1472. arg79(N, T, R) :- arg(N, T, X), arg80(N, X, R).
  1473. arg80(N, T, R) :- arg(N, T, X), arg81(N, X, R).
  1474. arg81(N, T, R) :- arg(N, T, X), arg82(N, X, R).
  1475. arg82(N, T, R) :- arg(N, T, X), arg83(N, X, R).
  1476. arg83(N, T, R) :- arg(N, T, X), arg84(N, X, R).
  1477. arg84(N, T, R) :- arg(N, T, X), arg85(N, X, R).
  1478. arg85(N, T, R) :- arg(N, T, X), arg86(N, X, R).
  1479. arg86(N, T, R) :- arg(N, T, X), arg87(N, X, R).
  1480. arg87(N, T, R) :- arg(N, T, X), arg88(N, X, R).
  1481. arg88(N, T, R) :- arg(N, T, X), arg89(N, X, R).
  1482. arg89(N, T, R) :- arg(N, T, X), arg90(N, X, R).
  1483. arg90(N, T, R) :- arg(N, T, X), arg91(N, X, R).
  1484. arg91(N, T, R) :- arg(N, T, X), arg92(N, X, R).
  1485. arg92(N, T, R) :- arg(N, T, X), arg93(N, X, R).
  1486. arg93(N, T, R) :- arg(N, T, X), arg94(N, X, R).
  1487. arg94(N, T, R) :- arg(N, T, X), arg95(N, X, R).
  1488. arg95(N, T, R) :- arg(N, T, X), arg96(N, X, R).
  1489. arg96(N, T, R) :- arg(N, T, X), arg97(N, X, R).
  1490. arg97(N, T, R) :- arg(N, T, X), arg98(N, X, R).
  1491. arg98(N, T, R) :- arg(N, T, X), arg99(N, X, R).
  1492. arg99(N, T, R) :- arg(N, T, X), arg100(N, X, R).
  1493. arg100(N, T, R) :- arg(N, T, R).
  1494.  
  1495. bench_mark(index, 2000, ix(1), dummy(1)).
  1496.  
  1497.  
  1498. ix(1) :- ix(10000).
  1499. ix(4).
  1500. ix(9) :- ix(4).
  1501. ix(16) :- ix(9).
  1502. ix(25) :- ix(16).
  1503. ix(36) :- ix(25).
  1504. ix(49) :- ix(36).
  1505. ix(64) :- ix(49).
  1506. ix(81) :- ix(64).
  1507. ix(100) :- ix(81).
  1508. ix(121) :- ix(100).
  1509. ix(144) :- ix(121).
  1510. ix(169) :- ix(144).
  1511. ix(196) :- ix(169).
  1512. ix(225) :- ix(196).
  1513. ix(256) :- ix(225).
  1514. ix(289) :- ix(256).
  1515. ix(324) :- ix(289).
  1516. ix(361) :- ix(324).
  1517. ix(400) :- ix(361).
  1518. ix(441) :- ix(400).
  1519. ix(484) :- ix(441).
  1520. ix(529) :- ix(484).
  1521. ix(576) :- ix(529).
  1522. ix(625) :- ix(576).
  1523. ix(676) :- ix(625).
  1524. ix(729) :- ix(676).
  1525. ix(784) :- ix(729).
  1526. ix(841) :- ix(784).
  1527. ix(900) :- ix(841).
  1528. ix(961) :- ix(900).
  1529. ix(1024) :- ix(961).
  1530. ix(1089) :- ix(1024).
  1531. ix(1156) :- ix(1089).
  1532. ix(1225) :- ix(1156).
  1533. ix(1296) :- ix(1225).
  1534. ix(1369) :- ix(1296).
  1535. ix(1444) :- ix(1369).
  1536. ix(1521) :- ix(1444).
  1537. ix(1600) :- ix(1521).
  1538. ix(1681) :- ix(1600).
  1539. ix(1764) :- ix(1681).
  1540. ix(1849) :- ix(1764).
  1541. ix(1936) :- ix(1849).
  1542. ix(2025) :- ix(1936).
  1543. ix(2116) :- ix(2025).
  1544. ix(2209) :- ix(2116).
  1545. ix(2304) :- ix(2209).
  1546. ix(2401) :- ix(2304).
  1547. ix(2500) :- ix(2401).
  1548. ix(2601) :- ix(2500).
  1549. ix(2704) :- ix(2601).
  1550. ix(2809) :- ix(2704).
  1551. ix(2916) :- ix(2809).
  1552. ix(3025) :- ix(2916).
  1553. ix(3136) :- ix(3025).
  1554. ix(3249) :- ix(3136).
  1555. ix(3364) :- ix(3249).
  1556. ix(3481) :- ix(3364).
  1557. ix(3600) :- ix(3481).
  1558. ix(3721) :- ix(3600).
  1559. ix(3844) :- ix(3721).
  1560. ix(3969) :- ix(3844).
  1561. ix(4096) :- ix(3969).
  1562. ix(4225) :- ix(4096).
  1563. ix(4356) :- ix(4225).
  1564. ix(4489) :- ix(4356).
  1565. ix(4624) :- ix(4489).
  1566. ix(4761) :- ix(4624).
  1567. ix(4900) :- ix(4761).
  1568. ix(5041) :- ix(4900).
  1569. ix(5184) :- ix(5041).
  1570. ix(5329) :- ix(5184).
  1571. ix(5476) :- ix(5329).
  1572. ix(5625) :- ix(5476).
  1573. ix(5776) :- ix(5625).
  1574. ix(5929) :- ix(5776).
  1575. ix(6084) :- ix(5929).
  1576. ix(6241) :- ix(6084).
  1577. ix(6400) :- ix(6241).
  1578. ix(6561) :- ix(6400).
  1579. ix(6724) :- ix(6561).
  1580. ix(6889) :- ix(6724).
  1581. ix(7056) :- ix(6889).
  1582. ix(7225) :- ix(7056).
  1583. ix(7396) :- ix(7225).
  1584. ix(7569) :- ix(7396).
  1585. ix(7744) :- ix(7569).
  1586. ix(7921) :- ix(7744).
  1587. ix(8100) :- ix(7921).
  1588. ix(8281) :- ix(8100).
  1589. ix(8464) :- ix(8281).
  1590. ix(8649) :- ix(8464).
  1591. ix(8836) :- ix(8649).
  1592. ix(9025) :- ix(8836).
  1593. ix(9216) :- ix(9025).
  1594. ix(9409) :- ix(9216).
  1595. ix(9604) :- ix(9409).
  1596. ix(9801) :- ix(9604).
  1597. ix(10000) :- ix(9801).
  1598.  
  1599. bench_mark(assert_unit, 1, assert_clauses(L), dummy(L)) :-
  1600.    abolish(ua,3),
  1601.    create_units(1, 1000, L).
  1602.  
  1603.  
  1604. create_units(I, N, []) :- I > N, !.
  1605. create_units(I, N, [ua(K, X, f(K, X))|Rest]) :-
  1606.     K is I * (1 + I div 100),
  1607.     J is I + 1,
  1608.     create_units(J, N, Rest).
  1609.  
  1610. assert_clauses([]).
  1611. assert_clauses([Clause|Rest]) :-
  1612.    assert(Clause),
  1613.    assert_clauses(Rest).
  1614.  
  1615.  
  1616. bench_mark(access_unit, 100, access_dix(1, 1), dummy(1, 1)) :-
  1617.    abolish(dix, 2),
  1618.    dix_clauses(1, 100, L),
  1619.    assert_clauses(L).
  1620.  
  1621.  
  1622. dix_clauses(I, N, []) :- I > N, !.
  1623. dix_clauses(I, N, [dix(P, Q) | L]) :-
  1624.    I =< N,
  1625.    P is I * I,
  1626.    R is 1 + (I + N - 2) mod N,
  1627.    Q is R * R,
  1628.    J is I + 1,
  1629.    dix_clauses(J, N, L).
  1630.  
  1631. access_dix(Start, End) :-
  1632.    dix(Start, Where),
  1633.  ( Where = End -> true ; access_dix(Where, End) ).
  1634.  
  1635.  
  1636. bench_mark(slow_access_unit, 10, access_back(1, 1), dummy(1, 1)) :-
  1637.    abolish(dix, 2),
  1638.    dix_clauses(1, 100, L),
  1639.    assert_clauses(L).
  1640.  
  1641. access_back(Start, End) :-
  1642.    dix(Where, Start),
  1643.  ( Where = End -> true ; access_back(Where, End) ).
  1644.  
  1645.  
  1646. bench_mark(setof, 10, setof(X, Y^pr(X, Y), S), dummy(X, Y^pr(X, Y), S)).
  1647. bench_mark(pair_setof, 10,
  1648.    setof((X,Y), pr(X, Y), S),
  1649.    dummy((X,Y), pr(X, Y), S)).
  1650. bench_mark(double_setof, 10, setof((X,S), setof(Y, pr(X, Y), S), T),
  1651.                        dummy(S, setof(Y, pr(X, Y), S), T)).
  1652. bench_mark(bagof, 10, bagof(X, Y^pr(X, Y), S), dummy(X, Y^pr(X, Y), S)).
  1653.  
  1654. pr(99, 1).
  1655. pr(98, 2).
  1656. pr(97, 3).
  1657. pr(96, 4).
  1658. pr(95, 5).
  1659. pr(94, 6).
  1660. pr(93, 7).
  1661. pr(92, 8).
  1662. pr(91, 9).
  1663. pr(90, 10).
  1664. pr(89, 11).
  1665. pr(88, 12).
  1666. pr(87, 13).
  1667. pr(86, 14).
  1668. pr(85, 15).
  1669. pr(84, 16).
  1670. pr(83, 17).
  1671. pr(82, 18).
  1672. pr(81, 19).
  1673. pr(80, 20).
  1674. pr(79, 21).
  1675. pr(78, 22).
  1676. pr(77, 23).
  1677. pr(76, 24).
  1678. pr(75, 25).
  1679. pr(74, 26).
  1680. pr(73, 27).
  1681. pr(72, 28).
  1682. pr(71, 29).
  1683. pr(70, 30).
  1684. pr(69, 31).
  1685. pr(68, 32).
  1686. pr(67, 33).
  1687. pr(66, 34).
  1688. pr(65, 35).
  1689. pr(64, 36).
  1690. pr(63, 37).
  1691. pr(62, 38).
  1692. pr(61, 39).
  1693. pr(60, 40).
  1694. pr(59, 41).
  1695. pr(58, 42).
  1696. pr(57, 43).
  1697. pr(56, 44).
  1698. pr(55, 45).
  1699. pr(54, 46).
  1700. pr(53, 47).
  1701. pr(52, 48).
  1702. pr(51, 49).
  1703. pr(50, 50).
  1704. pr(49, 51).
  1705. pr(48, 52).
  1706. pr(47, 53).
  1707. pr(46, 54).
  1708. pr(45, 55).
  1709. pr(44, 56).
  1710. pr(43, 57).
  1711. pr(42, 58).
  1712. pr(41, 59).
  1713. pr(40, 60).
  1714. pr(39, 61).
  1715. pr(38, 62).
  1716. pr(37, 63).
  1717. pr(36, 64).
  1718. pr(35, 65).
  1719. pr(34, 66).
  1720. pr(33, 67).
  1721. pr(32, 68).
  1722. pr(31, 69).
  1723. pr(30, 70).
  1724. pr(29, 71).
  1725. pr(28, 72).
  1726. pr(27, 73).
  1727. pr(26, 74).
  1728. pr(25, 75).
  1729. pr(24, 76).
  1730. pr(23, 77).
  1731. pr(22, 78).
  1732. pr(21, 79).
  1733. pr(20, 80).
  1734. pr(19, 81).
  1735. pr(18, 82).
  1736. pr(17, 83).
  1737. pr(16, 84).
  1738. pr(15, 85).
  1739. pr(14, 86).
  1740. pr(13, 87).
  1741. pr(12, 88).
  1742. pr(11, 89).
  1743. pr(10, 90).
  1744. pr(9, 91).
  1745. pr(8, 92).
  1746. pr(7, 93).
  1747. pr(6, 94).
  1748. pr(5, 95).
  1749. pr(4, 96).
  1750. pr(3, 97).
  1751. pr(2, 98).
  1752. pr(1, 99).
  1753. pr(0, 100).
  1754.  
  1755.  
  1756.