home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / ASSERT4.IN < prev    next >
Text File  |  1996-06-04  |  269b  |  26 lines
  1. p(X:(1+2)),assert(f1->X)?
  2.  
  3. assert(f2->X),p(X:(1+2))?
  4.  
  5. listing(f1,f2)?
  6. p(X:(5+9)),asserta(f1->X)?
  7.  
  8. asserta(f2->X),p(X:(5+9))?
  9.  
  10. listing(f1,f2)?
  11. clause(X:(f1->_))?
  12. ;
  13. ;
  14. clause(X:(f2->_))?
  15. ;
  16. ;
  17. clause(f2->Y),Z=Y?
  18. ;
  19. ;
  20. retract(f1->_)?
  21. ;
  22. retract(X:(f2->_))?
  23. ;
  24. ;
  25. listing(f1,f2)?
  26.