home *** CD-ROM | disk | FTP | other *** search
/ Phoenix CD 2.0 / Phoenix_CD.cdr / 02a / pctj1186.zip / ONERULE.PRO < prev    next >
Text File  |  1986-09-19  |  117b  |  6 lines
  1. /* 30,000 logical inferences */
  2. f(X) :- Y is X-1,
  3.         Y > 0,
  4.         f(Y).
  5. /* Initial goal: ?- f(10000). */
  6.