home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / ASSERT3.REF < prev    next >
Text File  |  1996-06-04  |  1KB  |  80 lines
  1.  
  2. *** Yes
  3. > > Rule one: 1
  4.  
  5. dynamic(p)?
  6. p(1) :-
  7.         write('Rule one: ').
  8. p(2) :-
  9.         write('Rule two: ').
  10. p(3) :-
  11.         write('Rule three: ').
  12.  
  13.  
  14. *** Yes
  15. --1> Rule one: 1
  16.  
  17. dynamic(p)?
  18. p(1) :-
  19.         write('Rule one: ').
  20. p(3) :-
  21.         write('Rule three: ').
  22. p(4) :-
  23.         write('RULE TWO:: ').
  24.  
  25. Rule three: 3
  26.  
  27. dynamic(p)?
  28. p(1) :-
  29.         write('Rule one: ').
  30. p(3) :-
  31.         write('Rule three: ').
  32. p(4) :-
  33.         write('RULE TWO:: ').
  34.  
  35. RULE TWO:: 4
  36.  
  37. dynamic(p)?
  38. p(1) :-
  39.         write('Rule one: ').
  40. p(3) :-
  41.         write('Rule three: ').
  42. p(4) :-
  43.         write('RULE TWO:: ').
  44.  
  45.  
  46. *** No
  47. --1> > First result---1
  48.  
  49. dynamic(f)?
  50. f(1) -> 'First result---'.
  51. f(2) -> 'Second result--'.
  52. f(3) -> 'Third result---'.
  53.  
  54.  
  55. *** Yes
  56. --1> First result---1
  57.  
  58. dynamic(f)?
  59. f(1) -> 'First result---'.
  60. f(3) -> 'Third result---'.
  61. f(4) -> 'Forth result---'.
  62.  
  63. Third result---3
  64.  
  65. dynamic(f)?
  66. f(1) -> 'First result---'.
  67. f(3) -> 'Third result---'.
  68. f(4) -> 'Forth result---'.
  69.  
  70. Forth result---4
  71.  
  72. dynamic(f)?
  73. f(1) -> 'First result---'.
  74. f(3) -> 'Third result---'.
  75. f(4) -> 'Forth result---'.
  76.  
  77.  
  78. *** No
  79. --1> 
  80.