home *** CD-ROM | disk | FTP | other *** search
/ Phoenix CD 2.0 / Phoenix_CD.cdr / 02a / pctj1186.zip / SRCHBACK.PRO < prev    next >
Text File  |  1986-09-25  |  923b  |  42 lines
  1. /* Number of inferences = 2**(N+2) - 2  */
  2. /* where N is largest number-word used. */
  3. /* 32,766 inferences in this example.   */
  4.  
  5. true1.
  6. true2.
  7.  
  8. one(a):- true1.
  9. one(b):- true2.
  10. two(X) :- true1, one(X).
  11. two(X) :- true2, one(X).
  12.  
  13. three(X) :- true1, two(X).
  14. three(X) :- true2, two(X).
  15. four(X) :- true1, three(X).
  16. four(X) :- true2, three(X).
  17.  
  18. five(X) :- true1, four(X).
  19. five(X) :- true2, four(X).
  20. six(X) :- true1,  five(X).
  21. six(X) :- true2,  five(X).
  22.  
  23. seven(X) :- true1, six(X).
  24. seven(X) :- true2, six(X).
  25. eight(X) :- true1, seven(X).
  26. eight(X) :- true2, seven(X).
  27.  
  28. nine(X) :- true1, eight(X).
  29. nine(X) :- true2, eight(X).
  30. ten(X) :- true1, nine(X).
  31. ten(X) :- true2, nine(X).
  32.  
  33. eleven(X) :- true1, ten(X).
  34. eleven(X) :- true2, ten(X).
  35. twelve(X) :- true1, eleven(X).
  36. twelve(X) :- true2, eleven(X).
  37.  
  38. thirteen(X) :- true1, twelve(X).
  39. thirteen(X) :- true2, twelve(X).
  40.  
  41. test :- thirteen(X),fail.
  42.