add(0,X,X).
add(s(X),Y,s(Z)) :- add(X,Y,Z).

mult(0,X,0).
mult(s(X),Y,Z) :- mult(X,Y,W), add(W,Y,Z).