home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / RETRACT7.IN < prev    next >
Text File  |  1996-06-04  |  185b  |  12 lines
  1. inc :- X=count+1, X<1000, setq(count,X).
  2.  
  3. assert(X:(p :- retbool,inc,assert(X),fail))?
  4.  
  5. listing(p)?
  6. retbool :- retract(p:-Q).
  7. p :- fail.
  8. listing(p)?
  9. setq(count,0)?
  10. p?
  11. listing(p,count)?
  12.