home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / DISEQUAL.L07 < prev    next >
Text File  |  1996-06-04  |  106b  |  12 lines
  1.  
  2. f(1,2)->1.
  3.  
  4. g(s(1,2),s(1,3)) -> a.
  5.  
  6. h(23(1),int(1)) -> a.
  7.  
  8. i(23(1),24(1)) -> b.
  9.  
  10. j(1(23),int(24)) -> b.
  11.  
  12.