home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / EXAMPLES / CH07EX04.PRO < prev    next >
Encoding:
Prolog Source  |  1990-03-26  |  322 b   |  20 lines
  1. /*
  2.    Copyright (c) 1986, 90 by Prolog Development Center
  3. */
  4.    
  5. /* Tail recursive program that never runs out of memory */
  6.  
  7. predicates
  8.    count(real)
  9.  
  10.    /* Reals can be much bigger than integers. */
  11.  
  12. clauses
  13.    count(N) :- 
  14.       write(N), nl,
  15.       NewN = N+1,
  16.       count(NewN).
  17.  
  18. goal
  19.    count(1).
  20.