home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / T3206.IN < prev    next >
Text File  |  1996-06-04  |  154b  |  16 lines
  1. %
  2. %        WILD-LIFE TESTING
  3. %
  4. %        How predicate is input
  5. %
  6. %    mix of assert and retract
  7. %
  8. hero(X)?
  9. ;
  10. %
  11. decorated(toto).
  12. hero(toto)?
  13. %
  14. roadhog(toto).
  15. hero(toto)?
  16.