home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / CLAUSE.LF < prev    next >
Text File  |  1996-06-04  |  117b  |  17 lines
  1.  
  2. f1(a) -> a.
  3. f1(b) -> b.
  4.  
  5. f2 -> c.
  6. f2(a,s,d) -> s, d.
  7.  
  8. f3(a,s,d) -> s, d.
  9. f3 -> c.
  10.  
  11. g -> a.
  12. g(a) -> b.
  13.  
  14. h->a.
  15. h->b.
  16.  
  17.