inc(0,1).
inc(1,2).
inc(2,3).
inc(3,4).
inc(4,5).
inc(5,6).
inc(6,7).
inc(7,8).
inc(8,9).
inc(9,10).

dec(X,Y) :- inc(Y,X).

add(X,0,X).
add(X,Y,Z) :- inc(X,X1),dec(Y,Y1),add(X1,Y1,Z).

mul(X,1,X).
mul(X,Y,Z) :- dec(Y,Y1),mul(X,Y1,M1),add(X,M1,Z).