sum([], 0).

sum([First|Tail], Y) :-
	sum(Tail, Tailsum),
	Y is First + Tailsum.
	
