home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / TITI.LF < prev    next >
Text File  |  1996-06-04  |  311b  |  14 lines
  1.  
  2.  
  3. titi(0) -> true | setq(point,0).
  4. titi(N) -> titi(N-1) & titi(N-1).
  5.  
  6. tata(0) -> true | X=point+1, setq(point,X).
  7. tata(N) -> tata(N-1) & tata(N-1).
  8.  
  9. % non_strict(setq)?
  10. % 
  11. % setq(X,V) :- Value = eval(V), retract((X->@)), !, assert((X->Value)).
  12. % setq(X,V) :- dynamic(X), Value = eval(V), assert((X->Value)).
  13. % 
  14.