home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / T3204.LF < prev    next >
Text File  |  1996-06-04  |  151b  |  20 lines
  1. %
  2. %    Cut and Backtracking
  3. %
  4. %
  5. %    1st program
  6. %
  7. p(a).
  8. p(X):-q(X),!.
  9. q(b).
  10. q(c).
  11. %
  12. %    2nd program
  13. %
  14. r(X):- q(X),!.
  15. r(a).
  16. %
  17. %    3rd program
  18. %
  19. s(X):-p(X).
  20. s(d).