1) Сложить два списка следующим образом: a1+bn, a2+bn-1, ...,an-1+b2, an+b1.
2) Все вхождения заданного элемента уменьшите на заданное число.
1)reverse([X], [X]):-!.
reverse([X | T], Z):- reverse(T, W), append(W, [X], Z).
append([],L,L):-!.
append([H|T],P,[H|Y]):-append(T,P,Y).
sum_lists([],[],[],[]).
sum_lists([],[],M,M).
sum_lists([H1|T1],[H2|T2],L,List):-N is H1+H2,append([N],L,List2),sum_lists(T1,T2,List2,List).
sum_rev_lists(L1,L2,List):- reverse(L2,L),sum_lists(L1,L,[],List).
2)append([],L,L):-!.
append([H|T],P,[H|Y]):-append(T,P,Y).
dec_n_all([],_,_,M,M):-!.
dec_n_all([H|T],N,K,L,List):- H=\= N,append(L,[H],L2),dec_n_all(T,N,K,L2,List).
dec_n_all([_|T],N,K,L,List):- H1 is N-K,append(L,[H1],L2),dec_n_all(T,N,K,L2,List).
Решила задачи, но не могу объяснить на языке SWI Prolog, помогите пожалуйста.