main :- read((In1,In2)),
	mult_imp4(In1,In2,M,N,Done),
	#write((Done,M,N)).

mult_imp4(In1,In2,M,N,Done) :- 
	#stable(In1),#stable(In2),
	@ (
		M = In2,
		N = In1,
		Done = 0,
		int1(In1,In2,Done,M,N)
	).

int1(In1,In2,Done,M,N) :-
	halt(Done=1),
	intN(In2,Done,M,N).

intN(In2,Done,M,N) :- 
	@M = M+In2,
	@N = N-1,
	(if N-2=0 then @Done=1 else @Done=0),
	next(intN(In2,Done,M,N)).