% mult/3 :

mult(zero,X,zero).
mult(s(X),Y,Z) :- mult(X,Y,W), addi(W,Y,Z).

/*

Exemple :

?- TROIS = s(s(s(zero))) , CINQ = s(s(s(s(s(zero)))), mult(TROIS , CINQ) , QUINZE).

QUINZE = s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(zero)))))))))))))))

yes

*/