home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / PROVE.IN < prev    next >
Text File  |  1996-06-04  |  208b  |  15 lines
  1. call_once(X)?
  2. X= !?
  3.  
  4. X= (write(1),!,write(2))?
  5.  
  6. X=((A=1;A=2;A=3),write(A),fail)?
  7. X=(A={1;2;3},write(A),fail)?
  8. Y=(A={1;2;3},write(A),fail)?
  9. X=Y?
  10. .
  11. call_once(succeed)?
  12. call_once(true)?
  13. call_once((true,true))?
  14.  
  15.