home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / NONVAR.IN < prev    next >
Text File  |  1996-06-04  |  298b  |  30 lines
  1. listing(var,nonvar,is_function,is_predicate,is_sort)?
  2. A=var(_)?
  3. .
  4. A=var(4)?
  5. .
  6. A=nonvar(_)?
  7. .
  8. A=nonvar(4)?
  9. .
  10. A=is_function(<)?
  11. .
  12. A=is_function(=)?
  13. .
  14. A=is_predicate(<)?
  15. .
  16. A=is_predicate(=)?
  17. .
  18. A=is_sort(<)?
  19. .
  20. A=is_sort(=)?
  21. .
  22. A=is_sort(bool)?
  23. .
  24. A=is_sort(_)?
  25. .
  26. A=is_function(_)?
  27. .
  28. A=is_predicate(_)?
  29. .
  30.