/*
	myplus(X,Y,Z) :-
		X, Y and Z are natural numbers
		such that Z is the sum of X and Y.
*/

	myplus(0,X,X) :- natural_number(X).
	myplus(s(X),Y,s(Z)):- myplus(X,Y,Z).

	natural_number(0).
	natural_number(s(X)) :- natural_number(X).

%	Program 3.3: Addition