% 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
*/