home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / EXAMPLES / CH10EX05.PRO < prev    next >
Encoding:
Text File  |  1990-03-26  |  584 b   |  32 lines
  1. /*
  2.    Copyright (c) 1986, 90 by Prolog Development Center
  3. */
  4.    
  5. diagnostics
  6. check_determ
  7. database
  8.    counter( integer )
  9.  
  10. predicates
  11.    nondeterm repeat
  12.    my_retract(dbasedom)
  13.    count
  14.  
  15. goal
  16.    count.
  17.  
  18. clauses
  19.    repeat.  repeat :-  repeat.
  20.  
  21.    my_retract(X) :-  retract(X). % needs to be deterministic
  22.  
  23.    count :- assert( counter(0) ) , fail.
  24.    count :- repeat ,
  25.             counter(X),
  26.             Y = X + 1 ,
  27.             my_retract( counter(X) ) ,
  28.             asserta( counter(Y) ) ,
  29.             write(Y,"\n") ,
  30.             Y = 100.
  31.             
  32.