home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / DEBUG.REF < prev    next >
Text File  |  1996-06-04  |  6KB  |  230 lines
  1.  
  2. *** Yes
  3.  
  4. *** Yes
  5. > > Added debugging code to predicate 'p': level=goal, verbose=true, clauses=6
  6.  
  7. *** Yes
  8. --1> 
  9. *** No
  10. > <CALL> p(@): entry call
  11. <GOAL> p#1.1: @ = one
  12. <SUCC> p#1: succeeds
  13.  
  14. X=one
  15. p#1.1: @ = two
  16. <SUCC> p#1: succeeds
  17.  
  18. X=two
  19. <REDO> p: try clause #2
  20. <GOAL> p#2.1: succeed
  21. <SUCC> p#2: succeeds
  22.  
  23. X=three
  24. <REDO> p: try clause #3
  25. <GOAL> p#3.1: real~ = @
  26. <GOAL> p#3.2: real~ = real~
  27. <GOAL> p#3.3: real~ = 6
  28. <SUCC> p#3: succeeds
  29.  
  30. X=4
  31. <REDO> p: try clause #4
  32. <GOAL> p#4.1: @ = five
  33. <SUCC> p#4: succeeds
  34.  
  35. X=five
  36. <REDO> p#4: retry disjunction
  37. <GOAL> p#4.1: @ = six
  38. <SUCC> p#4: succeeds
  39.  
  40. X=six
  41. <REDO> p: try clause #5
  42. <GOAL> p#5.1: p(@)
  43. <CALL> p(@): entry call
  44. <GOAL> p#1.1: @ = one
  45. <SUCC> p#1: succeeds
  46. <CUT!> p#5.2: cut!
  47. <GOAL> p#5.3: @ = VIII
  48. <SUCC> p#5: succeeds
  49.  
  50. X=VIII
  51. p#5.3: @ = IX
  52. <SUCC> p#5: succeeds
  53.  
  54. X=IX
  55. <FAIL> p#5: fails and alternatives cut
  56.  
  57. *** No
  58. > > > Added debugging code to predicate 'app': level=clause, verbose=false, clauses=2
  59.  
  60. *** Yes
  61. --1> 
  62. *** No
  63. > > <CALL> app: entry call
  64. <CUT!> app#1: cut!
  65. <CALL> app: entry call
  66. <CUT!> app#1: cut!
  67. <CALL> app: entry call
  68. <CUT!> app#1: cut!
  69. <CALL> app: entry call
  70. <REDO> app: try clause #2
  71. <SUCC> app#2: succeeds
  72. <SUCC> app#1: succeeds
  73. <SUCC> app#1: succeeds
  74. <SUCC> app#1: succeeds
  75.  
  76. *** Yes
  77. R = [4,5,6].
  78. --1> <FAIL> app: fails
  79. <FAIL> app#1: fails and alternatives cut
  80. <FAIL> app#1: fails and alternatives cut
  81. <FAIL> app#1: fails and alternatives cut
  82.  
  83. *** No
  84. > > > > > > Debug: restored original clauses for predicate 'app'
  85. Added debugging code to predicate 'app': level=goal, verbose=true, clauses=2
  86.  
  87. *** Yes
  88. > > <CALL> app([1,2,3],@,[1,2,3,4,5,6]): entry call
  89. <CUT!> app#1.1: cut!
  90. <GOAL> app#1.2: app([2,3],@,[2,3,4,5,6])
  91. <CALL> app([2,3],@,[2,3,4,5,6]): entry call
  92. <CUT!> app#1.1: cut!
  93. <GOAL> app#1.2: app([3],@,[3,4,5,6])
  94. <CALL> app([3],@,[3,4,5,6]): entry call
  95. <CUT!> app#1.1: cut!
  96. <GOAL> app#1.2: app([],@,[4,5,6])
  97. <CALL> app([],@,[4,5,6]): entry call
  98. <REDO> app: try clause #2
  99. <GOAL> app#2.1: succeed
  100. <SUCC> app#2: succeeds
  101. <SUCC> app#1: succeeds
  102. <SUCC> app#1: succeeds
  103. <SUCC> app#1: succeeds
  104.  
  105. *** Yes
  106. R = [4,5,6].
  107. --1> <FAIL> app([],@,[4,5,6]): fails
  108. <FAIL> app#1: fails and alternatives cut
  109. <FAIL> app#1: fails and alternatives cut
  110. <FAIL> app#1: fails and alternatives cut
  111.  
  112. *** No
  113. > > > > > Added debugging code to function 'append': level=clause, verbose=true, clauses=2
  114.  
  115. *** Yes
  116. --1> 
  117. *** No
  118. > > <EVAL> append([],[d,e,f]): clause #1, result=[d,e,f]
  119. <EVAL> append([c],[d,e,f]): clause #2, result=[c,d,e,f]
  120. <EVAL> append([b,c],[d,e,f]): clause #2, result=[b,c,d,e,f]
  121. <EVAL> append([a,b,c],[d,e,f]): clause #2, result=[a,b,c,d,e,f]
  122.  
  123. *** Yes
  124. A = [a,b,c,d,e,f].
  125. --1> 
  126. *** No
  127. > > > 
  128. *** Yes
  129. A = @, G = @~, H = @~.
  130. --1> 
  131. *** Yes
  132. A = @, C = @, G = [a,b|C], H = @~.
  133. ----2> <EVAL> append([b|@~],[hello]): clause #2, result=[b|@]
  134. <EVAL> append([a,b|@~],[hello]): clause #2, result=[a,b|@]
  135.  
  136. *** Yes
  137. A = [_A: a,_B: b|@], C = @~, G = [_A,_B|C], H = [hello].
  138. ------3> <EVAL> append([],[hello]): clause #1, result=[hello]
  139. <EVAL> append([e],[hello]): clause #2, result=[e,hello]
  140. <EVAL> append([d,e],[hello]): clause #2, result=[d,e,hello]
  141.  
  142. *** Yes
  143. A = [_A: a,_B: b,_C: d,_D: e|H], C = [_C,_D], G = [_A,_B|C], H = [hello].
  144. --------4> 
  145. *** No
  146. A = [_A: a,_B: b|@], C = @~, G = [_A,_B|C], H = [hello].
  147. ------3> 
  148. *** No
  149. A = @, C = @, G = [a,b|C], H = @~.
  150. ----2> 
  151. *** No
  152. A = @, G = @~, H = @~.
  153. --1> 
  154. *** No
  155. > > > Debug: restored original clauses for function 'append'
  156. Added debugging code to function 'append': level=goal, verbose=true, clauses=2
  157.  
  158. *** Yes
  159. > > > <PATT> append([a,b,c],[d,e,f]): pattern matches clause #2
  160. <PATT> append([b,c],[d,e,f]): pattern matches clause #2
  161. <PATT> append([c],[d,e,f]): pattern matches clause #2
  162. <PATT> append([],[d,e,f]): pattern matches clause #1
  163. <EVAL> append([],[d,e,f]): clause #1, result=[d,e,f]
  164. <EVAL> append([c],[d,e,f]): clause #2, result=[c,d,e,f]
  165. <EVAL> append([b,c],[d,e,f]): clause #2, result=[b,c,d,e,f]
  166. <EVAL> append([a,b,c],[d,e,f]): clause #2, result=[a,b,c,d,e,f]
  167.  
  168. *** Yes
  169. A = [a,b,c,d,e,f].
  170. --1> 
  171. *** No
  172. > > > 
  173. *** Yes
  174. A = @, G = @~, H = @~.
  175. --1> 
  176. *** Yes
  177. A = @, C = @, G = [a,b|C], H = @~.
  178. ----2> <PATT> append([a,b|@],[hello]): pattern matches clause #2
  179. <PATT> append([b|@],[hello]): pattern matches clause #2
  180. <EVAL> append([b|@~],[hello]): clause #2, result=[b|@]
  181. <EVAL> append([a,b|@~],[hello]): clause #2, result=[a,b|@]
  182.  
  183. *** Yes
  184. A = [_A: a,_B: b|@], C = @~, G = [_A,_B|C], H = [hello].
  185. ------3> <PATT> append([d,e],[hello]): pattern matches clause #2
  186. <PATT> append([e],[hello]): pattern matches clause #2
  187. <PATT> append([],[hello]): pattern matches clause #1
  188. <EVAL> append([],[hello]): clause #1, result=[hello]
  189. <EVAL> append([e],[hello]): clause #2, result=[e,hello]
  190. <EVAL> append([d,e],[hello]): clause #2, result=[d,e,hello]
  191.  
  192. *** Yes
  193. A = [_A: a,_B: b,_C: d,_D: e|H], C = [_C,_D], G = [_A,_B|C], H = [hello].
  194. --------4> 
  195. *** No
  196. A = [_A: a,_B: b|@], C = @~, G = [_A,_B|C], H = [hello].
  197. ------3> 
  198. *** No
  199. A = @, C = @, G = [a,b|C], H = @~.
  200. ----2> 
  201. *** No
  202. A = @, G = @~, H = @~.
  203. --1> 
  204. *** No
  205. > > > Debug: restored original clauses for function 'append'
  206.  
  207. *** Yes
  208. > 
  209. *** Yes
  210. A = [a,b,c,d,e,f].
  211. --1> 
  212. *** No
  213. > > > > Added debugging code to function 'f': level=clause, verbose=true, clauses=2
  214. <EVAL> f(merci_arnaud,a): clause #1, result=a(merci_arnaud)
  215. <EVAL> f(merci_arnaud,b): clause #2, result=b(merci_arnaud)
  216. <FAIL> f(merci_arnaud,c): fails
  217. Debug: restored original clauses for function 'f'
  218. Added debugging code to function 'f': level=goal, verbose=true, clauses=2
  219. <PATT> f(merci_arnaud,a): pattern matches clause #1
  220. <EVAL> f(merci_arnaud,a): clause #1, result=a(merci_arnaud)
  221. <PATT> f(merci_arnaud,b): pattern matches clause #2
  222. <EVAL> f(merci_arnaud,b): clause #2, result=b(merci_arnaud)
  223. <FAIL> f(merci_arnaud,c): fails
  224. Debug: restored original clauses for function 'f'
  225. Added debugging code to function 'f': level=fail, verbose=true, clauses=2
  226. <FAIL> f(merci_arnaud,c): fails
  227.  
  228. *** No
  229. > 
  230.