home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / MANUAL10.IN < prev    next >
Text File  |  1996-06-04  |  176b  |  6 lines
  1.  a(X:0)    :- write(X, " implies 0"), nl.
  2. a(X:int)  :- write(X, " implies int"), nl.
  3. a(X:real) :- write(X, " implies real"), nl.
  4. implies(a(int)), fail?
  5. implies(a(3.45)), fail?
  6.