loop(I) :- writeln(I), I1 is I+1, loop(I1).