home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / PROFILER.R01 < prev    next >
Text File  |  1996-06-04  |  8KB  |  210 lines
  1.  
  2. *** Yes
  3.  
  4. Type 'profile_help ?' to get some help about the profiler
  5.  
  6.  
  7. *** Yes
  8. > 
  9. *** Yes
  10. S = [['Start       ',_A: x,_B: x,_C: x,' ',o|_D: [o|_E: [o|_F: []]]],
  11.      ['o move left ',_A,_B,_C,o,' '|_D],
  12.      ['x jump right',_A,_B,' '|_G: [o|_H: [x|_D]]],
  13.      ['x move right',_A,' ',x|_G],
  14.      ['o jump left ',_A,_I: o,_J: x,' '|_H],
  15.      ['o jump left ',_A,_I,_J,_K: o,_L: x,' '|_E],
  16.      ['o move left ',_A,_I,_J,_K,_L,o,' '|_F],
  17.      ['x jump right',_A,_I,_J,_K,' '|_M: [o|_N: [x|_F]]],
  18.      ['x jump right',_A,_I,' '|_O: [o|_P: [x|_M]]],
  19.      ['x jump right',' ',o|_Q: [x|_O]],
  20.      ['o move left ',_R: o,' '|_Q],
  21.      ['o jump left ',_R,_S: o,_T: x,' '|_P],
  22.      ['o jump left ',_R,_S,_T,_U: o,x,' '|_N],
  23.      ['x move right',_R,_S,_T,_U,' '|_V: [x|_N]],
  24.      ['x jump right',_R,_S,' ',o|_W: [x|_V]],
  25.      ['o move left ',_R,_S,o,' '|_W]].
  26.  
  27. --1> 
  28. *** No
  29. > Profile : Added profiling code to predicate 'go' at goal level
  30.  
  31. *** Yes
  32. --1> Profile : Added profiling code to predicate 'move' at goal level
  33.  
  34. *** Yes
  35. ----2> 
  36. *** Yes
  37. S = [['Start       ',_A: x,_B: x,_C: x,' ',o|_D: [o|_E: [o|_F: []]]],
  38.      ['o move left ',_A,_B,_C,o,' '|_D],
  39.      ['x jump right',_A,_B,' '|_G: [o|_H: [x|_D]]],
  40.      ['x move right',_A,' ',x|_G],
  41.      ['o jump left ',_A,_I: o,_J: x,' '|_H],
  42.      ['o jump left ',_A,_I,_J,_K: o,_L: x,' '|_E],
  43.      ['o move left ',_A,_I,_J,_K,_L,o,' '|_F],
  44.      ['x jump right',_A,_I,_J,_K,' '|_M: [o|_N: [x|_F]]],
  45.      ['x jump right',_A,_I,' '|_O: [o|_P: [x|_M]]],
  46.      ['x jump right',' ',o|_Q: [x|_O]],
  47.      ['o move left ',_R: o,' '|_Q],
  48.      ['o jump left ',_R,_S: o,_T: x,' '|_P],
  49.      ['o jump left ',_R,_S,_T,_U: o,x,' '|_N],
  50.      ['x move right',_R,_S,_T,_U,' '|_V: [x|_N]],
  51.      ['x jump right',_R,_S,' ',o|_W: [x|_V]],
  52.      ['o move left ',_R,_S,o,' '|_W]].
  53.  
  54. ------3> > 
  55. Profiling statistics for predicates :
  56. -----------------------------------
  57.  
  58.   *Tries*    Entries    Success   %Tot.fail %Expl.fail   predicates
  59.    288         ---       125        83.33      62.50     move
  60.     37         ---        16        56.75      56.75     go
  61.  
  62.   *Tries*    Entries    Success   %Tot.fail %Expl.fail   predicates
  63.     37          1          1          0          0       go#1
  64.     36         36         15        58.33      58.33     go#2
  65.    288        252         89        86.90      68.65     move#1
  66.    255          7          7        71.42        0       move#2
  67.    253         13         13        69.23        0       move#3
  68.    249          8          8        37.50        0       move#4
  69.    244          8          8         50          0       move#5
  70.  
  71.    Tries    *Entries*   Success   %Tot.fail %Expl.fail   predicates
  72.     36         36         15        58.33      58.33     go#2
  73.     37          1          1          0          0       go#1
  74.    288        252         89        86.90      68.65     move#1
  75.    253         13         13        69.23        0       move#3
  76.    249          8          8        37.50        0       move#4
  77.    244          8          8         50          0       move#5
  78.    255          7          7        71.42        0       move#2
  79.  
  80.    Tries     Entries   *Success*  %Tot.fail %Expl.fail   predicates
  81.     36         36         15        58.33      58.33     go#2
  82.     37          1          1          0          0       go#1
  83.    288        252         89        86.90      68.65     move#1
  84.    253         13         13        69.23        0       move#3
  85.    249          8          8        37.50        0       move#4
  86.    244          8          8         50          0       move#5
  87.    255          7          7        71.42        0       move#2
  88.  
  89.  
  90. *** Yes
  91. > Profile : Added profiling code to predicate 'move' at clause level
  92.  
  93. *** Yes
  94. --1> 
  95. *** Yes
  96. S = [['Start       ',_A: x,_B: x,_C: x,' ',o|_D: [o|_E: [o|_F: []]]],
  97.      ['o move left ',_A,_B,_C,o,' '|_D],
  98.      ['x jump right',_A,_B,' '|_G: [o|_H: [x|_D]]],
  99.      ['x move right',_A,' ',x|_G],
  100.      ['o jump left ',_A,_I: o,_J: x,' '|_H],
  101.      ['o jump left ',_A,_I,_J,_K: o,_L: x,' '|_E],
  102.      ['o move left ',_A,_I,_J,_K,_L,o,' '|_F],
  103.      ['x jump right',_A,_I,_J,_K,' '|_M: [o|_N: [x|_F]]],
  104.      ['x jump right',_A,_I,' '|_O: [o|_P: [x|_M]]],
  105.      ['x jump right',' ',o|_Q: [x|_O]],
  106.      ['o move left ',_R: o,' '|_Q],
  107.      ['o jump left ',_R,_S: o,_T: x,' '|_P],
  108.      ['o jump left ',_R,_S,_T,_U: o,x,' '|_N],
  109.      ['x move right',_R,_S,_T,_U,' '|_V: [x|_N]],
  110.      ['x jump right',_R,_S,' ',o|_W: [x|_V]],
  111.      ['o move left ',_R,_S,o,' '|_W]].
  112.  
  113. ----2> 
  114. Profiling statistics for predicates :
  115. -----------------------------------
  116.  
  117.   *Tries*    Entries    Success   %Tot.fail %Expl.fail   predicates
  118.    288         ---       125        83.33      62.50     move
  119.     74         ---        32        56.75      56.75     go
  120.  
  121.   *Tries*    Entries    Success   %Tot.fail %Expl.fail   predicates
  122.     74          2          2          0          0       go#1
  123.     72         72         30        58.33      58.33     go#2
  124.    288        252         89        86.90      68.65     move#1
  125.    255          7          7        71.42        0       move#2
  126.    253         13         13        69.23        0       move#3
  127.    249          8          8        37.50        0       move#4
  128.    244          8          8         50          0       move#5
  129.  
  130.    Tries    *Entries*   Success   %Tot.fail %Expl.fail   predicates
  131.     72         72         30        58.33      58.33     go#2
  132.     74          2          2          0          0       go#1
  133.    288        252         89        86.90      68.65     move#1
  134.    253         13         13        69.23        0       move#3
  135.    249          8          8        37.50        0       move#4
  136.    244          8          8         50          0       move#5
  137.    255          7          7        71.42        0       move#2
  138.  
  139.    Tries     Entries   *Success*  %Tot.fail %Expl.fail   predicates
  140.     72         72         30        58.33      58.33     go#2
  141.     74          2          2          0          0       go#1
  142.    288        252         89        86.90      68.65     move#1
  143.    253         13         13        69.23        0       move#3
  144.    249          8          8        37.50        0       move#4
  145.    244          8          8         50          0       move#5
  146.    255          7          7        71.42        0       move#2
  147.  
  148.  
  149. *** Yes
  150. S = [['Start       ',_A: x,_B: x,_C: x,' ',o|_D: [o|_E: [o|_F: []]]],
  151.      ['o move left ',_A,_B,_C,o,' '|_D],
  152.      ['x jump right',_A,_B,' '|_G: [o|_H: [x|_D]]],
  153.      ['x move right',_A,' ',x|_G],
  154.      ['o jump left ',_A,_I: o,_J: x,' '|_H],
  155.      ['o jump left ',_A,_I,_J,_K: o,_L: x,' '|_E],
  156.      ['o move left ',_A,_I,_J,_K,_L,o,' '|_F],
  157.      ['x jump right',_A,_I,_J,_K,' '|_M: [o|_N: [x|_F]]],
  158.      ['x jump right',_A,_I,' '|_O: [o|_P: [x|_M]]],
  159.      ['x jump right',' ',o|_Q: [x|_O]],
  160.      ['o move left ',_R: o,' '|_Q],
  161.      ['o jump left ',_R,_S: o,_T: x,' '|_P],
  162.      ['o jump left ',_R,_S,_T,_U: o,x,' '|_N],
  163.      ['x move right',_R,_S,_T,_U,' '|_V: [x|_N]],
  164.      ['x jump right',_R,_S,' ',o|_W: [x|_V]],
  165.      ['o move left ',_R,_S,o,' '|_W]].
  166.  
  167. ----2> Profile : restored original clauses for predicate 'move'
  168. Profile : restored original clauses for predicate 'go'
  169.  
  170. *** Yes
  171. S = [['Start       ',_A: x,_B: x,_C: x,' ',o|_D: [o|_E: [o|_F: []]]],
  172.      ['o move left ',_A,_B,_C,o,' '|_D],
  173.      ['x jump right',_A,_B,' '|_G: [o|_H: [x|_D]]],
  174.      ['x move right',_A,' ',x|_G],
  175.      ['o jump left ',_A,_I: o,_J: x,' '|_H],
  176.      ['o jump left ',_A,_I,_J,_K: o,_L: x,' '|_E],
  177.      ['o move left ',_A,_I,_J,_K,_L,o,' '|_F],
  178.      ['x jump right',_A,_I,_J,_K,' '|_M: [o|_N: [x|_F]]],
  179.      ['x jump right',_A,_I,' '|_O: [o|_P: [x|_M]]],
  180.      ['x jump right',' ',o|_Q: [x|_O]],
  181.      ['o move left ',_R: o,' '|_Q],
  182.      ['o jump left ',_R,_S: o,_T: x,' '|_P],
  183.      ['o jump left ',_R,_S,_T,_U: o,x,' '|_N],
  184.      ['x move right',_R,_S,_T,_U,' '|_V: [x|_N]],
  185.      ['x jump right',_R,_S,' ',o|_W: [x|_V]],
  186.      ['o move left ',_R,_S,o,' '|_W]].
  187.  
  188. ------3> > 
  189. dynamic(move)?
  190. move([_A|_B],[_A|_C],_D) :-
  191.         move(_B,_C,_D).
  192. move([x,' '|_A],[' ',x|_A],'x move right') :-
  193.         succeed.
  194. move([' ',o|_A],[o,' '|_A],'o move left ') :-
  195.         succeed.
  196. move([x,o,' '|_A],[' ',o,x|_A],'x jump right') :-
  197.         succeed.
  198. move([' ',x,o|_A],[o,x,' '|_A],'o jump left ') :-
  199.         succeed.
  200.  
  201. dynamic(go)?
  202. go(_A,_A,[]) :-
  203.         succeed.
  204. go(_A,_B,[[_C|_D]|_E]) :-
  205.         move(_A,_D,_C),
  206.         go(_D,_B,_E).
  207.  
  208. *** Yes
  209. > 
  210.