0:1.
N:M:-A:B,N is A+1,M is N*B.
m:-prompt1(''),readln([N]),(N<0;N:M,!,writeln(M),m).