home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / MODULE_T.R03 < prev    next >
Text File  |  1996-06-04  |  222b  |  22 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. > 
  6. aa(c => d) :-
  7.         succeed.
  8.  
  9. bb(c => d,e => f) :-
  10.         succeed.
  11.  
  12. *** Yes
  13. > 
  14. *** Yes
  15. X = aa(c => d), Y = bb(c => d,e => f).
  16. --1> 
  17. *** No
  18. X = aa(c => d), Y = bb(c => d,e => f).
  19. --1> 
  20. *** No
  21. > 
  22.