Как добавить два вложенных списка в один список в прологе

Question

введите описание изображения здесь

sum_of_list([],[]).
sum_of_list([H|T],sum):-
   sum_of_list(T,sum1),
   list1_list2_sums(sum1,H,sum).

list1_list2_sums([], [], []).
list1_list2_sums([], [H|_], sum):-
   sum=H.
list1_list2_sums([X|Xs], [Y|Ys], [M|Ms]) :-
   list1_list2_sums(Xs, Ys, Ms),
   M is (X + Y).