home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / DISEQUAL.LF < prev    next >
Text File  |  1996-06-04  |  164b  |  18 lines
  1.  
  2. % Interesting three-way hierarchy:
  3. % Two-way unifiable & three-way disjoint.
  4.  
  5. ab <| a.
  6. ac <| a.
  7.  
  8. ab <| b.
  9. bc <| b.
  10.  
  11. ac <| c.
  12. bc <| c.
  13.  
  14.  
  15. f(X,X) -> 1.
  16.  
  17. g(a,b) -> 1.
  18.