home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / Z_MAURIC.LF < prev    next >
Text File  |  1996-06-04  |  293b  |  17 lines
  1. main :- q(1000,_), q(100,T), q(1000,_), write(T).
  2.  
  3. q(N,T) :- T=largeterm(N).
  4.  
  5. largeterm(0) -> a.
  6. largeterm(N) -> rec(term=>largeterm(N-1),number=>nextnum).
  7.  
  8. nextnum -> N|makenum(N).
  9.  
  10. makenum(M) :-
  11.     M=N+1,
  12.     retract(mynum(N)), !,
  13.     assert(mynum(M)).
  14. makenum(1) :-
  15.     assert(mynum(1)).
  16.  
  17.