home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / T3205.IN < prev    next >
Text File  |  1996-06-04  |  248b  |  35 lines
  1. %
  2. %        WILD-LIFE TESTING
  3. %
  4. %        How predicate is input
  5. %
  6. %    assert, asserta, retract.
  7. %
  8. %
  9. assert(t(b))?
  10. %
  11. test1(X)?
  12. ;
  13. test2(X)?
  14. ;
  15. ;
  16. %
  17. retract(t(a)),!?
  18. %
  19. test1(X)?
  20. ;
  21. test2(X)?
  22. ;
  23. %
  24. asserta(t(a))?
  25. %
  26. test1(X)?
  27. ;
  28. test2(X)?
  29. ;
  30. ;
  31. %
  32. retract_all(t)?
  33. %
  34. test1(X)?
  35. %