home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / T3205.LF < prev    next >
Text File  |  1996-06-04  |  287b  |  21 lines
  1. %
  2. %        WILD-LIFE TESTING
  3. %
  4. %        How predicate is input?
  5. %
  6. %    assert and asserta
  7. %
  8. dynamic(t)?
  9. t(a).
  10. test1(X) :- t(X),!.
  11. test2(X) :- t(X).
  12. %
  13. %    retract_all(X): the whole definition of the predicate X is discarded.
  14. %
  15. non_strict(retract_all)?
  16.  
  17. retract_all(X):- retract(X),fail.
  18. retract_all(X).
  19.  
  20.  
  21.