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