home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / T3202.IN < prev    next >
Text File  |  1996-06-04  |  166b  |  14 lines
  1. %
  2. %        Wild Life Tests Programs 
  3. %        3200 : user defined predicates
  4. %
  5. %        3202 : number and order of solutions on backtracking.
  6. %
  7. plus(X,Y,s(s(s(s(s(0))))))?
  8. ;
  9. ;
  10. ;
  11. ;
  12. ;
  13. ;
  14.