Solution

sum(0) --> [].
sum(S) --> [N], sum(Rest), {S is N + Rest}.
    

Back to the exercise.