fork download
  1. countdown(X) :-
  2. number(X),
  3. X < 0.
  4. countdown(X) :-
  5. number(X),
  6. X>=0,
  7. write(X), nl,
  8. NX is X-1,
  9. countdown(NX).
Success #stdin #stdout 0.03s 6204KB
stdin
?- countdown(4).
stdout
Standard output is empty