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.R04 < prev    next >
Text File  |  1996-06-04  |  209b  |  21 lines

  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. bb(c => d,e => _A,g => _B) :-
  6.         _B .i = 123,
  7.         h(_A).
  8.  
  9. *** Yes
  10. % 'h' is undefined.
  11.  
  12. *** Yes
  13. *** Yes
  14. A = bb(c => d,e => @(j => 111),g => @(i => 123)).
  15. --1> 
  16. *** No
  17.