home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / NONSTRIC.I03 < prev    next >
Text File  |  1996-06-04  |  214b  |  14 lines
  1. a(X), assert(b->X)?
  2.  
  3. X=1+2, assert(c->X)?
  4.  
  5. A=X:(1+2), assert(d->X)?
  6.  
  7. listing(a,b,c,d)?
  8. sc(X,Y) :- assert(X->Y).
  9. sc(str2psi(strcon("a","1")),t(X:(1024*1024)*X,Y*Y:(256*256)))?
  10. .
  11. listing(sc,a1)?
  12. write(X:a1.1/X.2)?
  13. .
  14.