mais(0, N, N).
mais(s(N1),N2,s(N3)):-
mais(N1, N2, N3).

vezes(0,N,0).
vezes(s(N1), N2, N) :- vezes(N1,N2,N3), mais(N3,N2,N).