home *** CD-ROM | disk | FTP | other *** search
/ Turbo Toolbox / Turbo_Toolbox.iso / 1988 / 03 / prolog / determ1.pro next >
Encoding:
Prolog Source  |  1987-12-15  |  717 b   |  29 lines
  1. /*-------------- DETERM1.PRO -----------------*/
  2. /*    Test der "rekursiven Iteration"         */
  3. /*           (C) Stefan Musche                */
  4.  
  5. predicates
  6.   iteration(integer) 
  7.   dummy(real)  /* Für's Backtracking */
  8.  
  9. clauses
  10.   dummy(3.3). /* Dummy-Datenbasis für */
  11.   dummy(4.4). /* Backtracking.        */
  12.  
  13.   iteration(0).   /* Ende, wenn Zähler = 0 */
  14.   iteration(N) :-
  15.     dummy(_),    /* Stack-Optimierung verhindern */
  16.     storage(St,_,_), /* Stackplatz ermitteln */
  17.     write(N,"te Iteration, Stackplatz = ",St),
  18.     nl,
  19.     Next_N = N - 1,
  20.     !,  /* Cut, damit Stack geleert wird, */
  21.     iteration(Next_N).   /* sonst Überlauf */
  22.  
  23.  GOAL
  24.    iteration(32000).
  25.    
  26.     
  27.   
  28.   
  29.