fork download
  1. :- set_prolog_flag(verbose,silent).
  2. :- prompt(_, '').
  3. :- use_module(library(readutil)).
  4.  
  5. main:-
  6. process,
  7.  
  8. down(Y,X):-
  9. Y>=0,
  10. write(X),
  11. write(' = '),
  12. write(Y),
  13. nl,
  14. K is Y-1,
  15. down(K,X).
  16.  
  17. down(Y,_) :- Y < 0.
  18.  
  19. process:-
  20. down(5,'X'),
  21.  
  22. :- main.
Success #stdin #stdout 0.04s 7468KB
stdin
Standard input is empty
stdout
X = 5
X = 4
X = 3
X = 2
X = 1
X = 0