fork download
  1. count(0):-!.
  2. count(X):-
  3. writef('%t\z',[X]),
  4. succ(XN,X),
  5. count(XN).
Success #stdin #stdout 0.02s 6204KB
stdin
?-count(100)
stdout
Standard output is empty