home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / BOOLPRED.IN < prev    next >
Text File  |  1996-06-04  |  223b  |  30 lines
  1. p(a).
  2. X,X=p(A)?
  3. .
  4. X=p(A),X?
  5. .
  6. f(X:int) -> write(boo,X).
  7. f(44)?
  8. f(X)?
  9. X=44?
  10. .
  11. Y=f(X),Y?
  12. X=44?
  13. .
  14. X=44,Y=f(X),Y?
  15. .
  16. X=44,Y,Y=f(X)?
  17. .
  18. Y,X=44,Y=f(X)?
  19. .
  20. Y,Y=f(X),X=44?
  21. .
  22. Y=f(X),Y,X=44?
  23. .
  24. Y=f(X),X=44,Y?
  25. .
  26. f(X),X=44?
  27. .
  28. X=44,f(X)?
  29. .
  30.