plus(zero,X,X).
plus(s(X),Y,s(Z)) :-
	plus(X,Y,Z).
| ?- plus(X,Y,s(s(s(zero)))).

X = zero
Y = s(s(s(zero)))

X = s(zero)
Y = s(s(zero))

X = s(s(zero))
Y = s(zero)

X = s(s(s(zero)))
Y = zero

true