id = 118
group = 'lists'
number = 25
visible = True
facts = None

solution = '''\
sum([], 0).
sum([H|T], Sum) :-
  sum(T, SumT),
  Sum is SumT + H.
'''