home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / ANOTHER_.REF < prev    next >
Text File  |  1996-06-04  |  2KB  |  73 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. > *** Tracing is turned on.
  6.  
  7. *** Yes
  8. > T0002 C00   prove p(@)
  9. T0003 C00   unify @ with {1;2;3;4}
  10. T0003 C00    setting up function call {1;2;3;4}
  11. T0004 C00    evaluate {1;2;3;4}
  12. T0005 C01    unify @ with 1
  13. T0006 C01   unify @ with 1
  14. T0008 C01   prove built-in write(A: 1 + 1 = A + 2)
  15. T0008 C01    setting up function call 1 + 2
  16. T0008 C01     setting up function call 1 + 1
  17. T0009 C01     evaluate 1 + 1
  18. T0010 C01    evaluate 1 + 2
  19. T0011 C01   prove built-in write(2 = 3)
  20. 2 = 3T0013 C01   prove nl
  21. T0014 C01   prove built-in write("
  22. ")
  23.  
  24. T0015 C01  prove built-in fail
  25. T0015 C00     backtracking
  26. T0016 C00    evaluate {2;3;4}
  27. T0017 C01    unify @ with 2
  28. T0018 C01   unify @ with 2
  29. T0020 C01   prove built-in write(A: 2 + 1 = A + 2)
  30. T0020 C01    setting up function call 2 + 2
  31. T0020 C01     setting up function call 2 + 1
  32. T0021 C01     evaluate 2 + 1
  33. T0022 C01    evaluate 2 + 2
  34. T0023 C01   prove built-in write(3 = 4)
  35. 3 = 4T0025 C01   prove nl
  36. T0026 C01   prove built-in write("
  37. ")
  38.  
  39. T0027 C01  prove built-in fail
  40. T0027 C00     backtracking
  41. T0028 C00    evaluate {3;4}
  42. T0029 C01    unify @ with 3
  43. T0030 C01   unify @ with 3
  44. T0032 C01   prove built-in write(A: 3 + 1 = A + 2)
  45. T0032 C01    setting up function call 3 + 2
  46. T0032 C01     setting up function call 3 + 1
  47. T0033 C01     evaluate 3 + 1
  48. T0034 C01    evaluate 3 + 2
  49. T0035 C01   prove built-in write(4 = 5)
  50. 4 = 5T0037 C01   prove nl
  51. T0038 C01   prove built-in write("
  52. ")
  53.  
  54. T0039 C01  prove built-in fail
  55. T0039 C00     backtracking
  56. T0040 C00    evaluate {4}
  57. T0041 C00    unify @ with 4
  58. T0042 C00   unify @ with 4
  59. T0044 C00   prove built-in write(A: 4 + 1 = A + 2)
  60. T0044 C00    setting up function call 4 + 2
  61. T0044 C00     setting up function call 4 + 1
  62. T0045 C00     evaluate 4 + 1
  63. T0046 C00    evaluate 4 + 2
  64. T0047 C00   prove built-in write(5 = 6)
  65. 5 = 6T0049 C00   prove nl
  66. T0050 C00   prove built-in write("
  67. ")
  68.  
  69. T0051 C00  prove built-in fail
  70.  
  71. *** No
  72. > 
  73.