home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / NONSTRIC.R03 < prev    next >
Text File  |  1996-06-04  |  374b  |  45 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. X = 3.
  6. --1> 
  7. *** No
  8. > 
  9. *** Yes
  10. X = 3.
  11. --1> 
  12. *** No
  13. > 
  14. *** Yes
  15. A = 3, X = A.
  16. --1> 
  17. *** No
  18. > 
  19. a(1 + 2) :-
  20.         succeed.
  21.  
  22. b -> 3.
  23.  
  24. c -> 3.
  25.  
  26. d -> 3.
  27.  
  28. *** Yes
  29. > 
  30. *** Yes
  31. > 
  32. *** Yes
  33. X = 1048576, Y = 65536.
  34. --1> > 
  35. sc(_A,_B) :-
  36.         assert((_A -> _B)).
  37.  
  38. a1 -> t(1099511627776,4294967296).
  39.  
  40. *** Yes
  41. > 256
  42. *** Yes
  43. X = t(1099511627776,4294967296).
  44. --1> > 
  45.