home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / DYNSTAT.REF < prev    next >
Text File  |  1996-06-04  |  263b  |  40 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. > 
  6. *** Yes
  7. > 
  8. *** Yes
  9. > 
  10. *** Yes
  11. > 
  12. *** Yes
  13. > 
  14. *** No
  15. > 
  16. p(a) :-
  17.         succeed.
  18. p(b) :-
  19.         succeed.
  20.  
  21. *** Yes
  22. > 
  23. *** Yes
  24. > 
  25. *** Yes
  26. --1> > 
  27. *** Yes
  28. > 
  29. *** Yes
  30. > 
  31. *** Yes
  32. > 
  33. p(b) :-
  34.         succeed.
  35. p(e) :-
  36.         succeed.
  37.  
  38. *** Yes
  39. > 
  40.