home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / POSINT.LF < prev    next >
Text File  |  1996-06-04  |  1KB  |  54 lines
  1.  
  2. posint := X:int | X>=0.
  3.  
  4. main :- write(2.3 & posint), nl, fail.
  5. main :- write(2 & posint), nl, fail.
  6. main :- write(0 & posint), nl, fail.
  7. main :- write((-2) & posint), nl, fail.
  8. main :- write((-2.3) & posint), nl, fail.
  9.  
  10. main :- write("*******"), nl, fail.
  11.  
  12. main :- write(2.3 & int), nl, fail.
  13. main :- write(2 & int), nl, fail.
  14. main :- write(0 & int), nl, fail.
  15. main :- write((-2) & int), nl, fail.
  16. main :- write((-2.3) & int), nl, fail.
  17.  
  18. main :- write("*******"), nl, fail.
  19.  
  20. main :- write(2.3 & real), nl, fail.
  21. main :- write(2 & real), nl, fail.
  22. main :- write(0 & real), nl, fail.
  23. main :- write((-2) & real), nl, fail.
  24. main :- write((-2.3) & real), nl, fail.
  25.  
  26. main :- write("*******"), nl, fail.
  27. main :- write("*******"), nl, fail.
  28.  
  29. main :- write(posint & 2.3), nl, fail.
  30. main :- write(posint & 2), nl, fail.
  31. main :- write(posint & 0), nl, fail.
  32. main :- write(posint & (-2)), nl, fail.
  33. main :- write(posint & (-2.3)), nl, fail.
  34.  
  35. main :- write("*******"), nl, fail.
  36.  
  37. main :- write(int & 2.3), nl, fail.
  38. main :- write(int & 2), nl, fail.
  39. main :- write(int & 0), nl, fail.
  40. main :- write(int & (-2)), nl, fail.
  41. main :- write(int & (-2.3)), nl, fail.
  42.  
  43. main :- write("*******"), nl, fail.
  44.  
  45. main :- write(real & 2.3), nl, fail.
  46. main :- write(real & 2), nl, fail.
  47. main :- write(real & 0), nl, fail.
  48. main :- write(real & (-2)), nl, fail.
  49. main :- write(real & (-2.3)), nl, fail.
  50.  
  51. main.
  52.  
  53. main?
  54.