Prolog. Как умножить два числа рекурсией?

Question

[JustQuantor]

Нашел данный код, который вроде как, должен решить задачу, но при его вызове выдаётся ошибка. Возможно, я его не правильно вызываю? Надеюсь на вашу помощь.

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

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