home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / RETRACT7.REF < prev    next >
Text File  |  1996-06-04  |  472b  |  46 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. > > 
  6. *** Yes
  7. X = (p :- retbool, inc, assert(X), fail).
  8. --1> 
  9. *** No
  10. > 
  11. _A: p :-
  12.         _B: (retbool,
  13.         inc,
  14.         assert((_A :-
  15.         _B)),
  16.         fail).
  17.  
  18. *** Yes
  19. > 
  20. *** Yes
  21. > 
  22. *** Yes
  23. > 
  24. _A: p :-
  25.         _B: (retbool,
  26.         inc,
  27.         assert((_A :-
  28.         _B)),
  29.         fail).
  30. p :-
  31.         fail.
  32.  
  33. *** Yes
  34. > 
  35. *** Yes
  36. > 
  37. *** No
  38. > 
  39. % 'p' is a user-defined predicate with an empty definition.
  40.  
  41. dynamic(count)?
  42. count -> 999.
  43.  
  44. *** Yes
  45. > 
  46.