home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / CLAUSE.IN < prev    next >
Text File  |  1996-06-04  |  173b  |  23 lines
  1. clause(X:(f1->Y))?
  2. ;
  3. ;
  4. clause(X:(f2->Y))?
  5. ;
  6. ;
  7. clause(X:(f3->Y))?
  8. ;
  9. ;
  10. clause(X:(g->Y))?
  11. ;
  12. ;
  13. clause(X:(h->Y))?
  14. ;
  15. ;
  16. clause(X:(append(A,B)->C))?
  17. ;
  18. ;
  19. clause(X:(append->@))?
  20. ;
  21. ;
  22.  
  23.