home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / T3203.REF < prev    next >
Text File  |  1996-06-04  |  146b  |  17 lines
  1.  
  2. *** Yes
  3. > > > > > > > 
  4. pred(a) :-
  5.         succeed.
  6. pred(_A) :-
  7.         qred(_B),
  8.         rred(_A,_B).
  9.  
  10. *** Yes
  11. > 
  12. *** Yes
  13. X = a.
  14. --1> 
  15. *** No
  16. > 
  17.