Применение рекурсии для обработки списков - Prolog (227108)

Формулировка задачи:

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).

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, помогите пожалуйста.

Решение задачи: «Применение рекурсии для обработки списков»

Листинг программы

% Добавление к пустому списку списка L дает в результате список L
append([],L,L):-!.
% Если список непуст, его голова H становится головой результата,
% а к хвосту T рекурсивным вызовом добавляется тот же список P,
% образуя хвост результата Y
append([H|T],P,[H|Y]):-append(T,P,Y).

Объяснение кода листинга программы

Код решает задачу обработки списков с использованием рекурсии. Вот список с номерами и описанием действий:

append([],L,L):-! - эта строка кода утверждает, что если первый аргумент пуст, то результатом будет второй аргумент, то есть L. Здесь нет никаких рекурсивных вызовов, так как первый аргумент пуст.
append([H|T],P,[H|Y]):-append(T,P,Y). - здесь есть два случая:
- если первый аргумент не пуст (то есть у него есть голова H и хвост T), то голова H становится головой результата, а к хвосту T рекурсивным вызовом добавляется второй аргумент P, образуя хвост результата Y.
- если первый аргумент пуст (то есть это просто список P), то он передается в рекурсивный вызов без изменений, и результатом будет P. В результате получается рекурсивная функция, которая добавляет один и тот же список к голове и хвосту другого списка, создавая новый список, в котором первый элемент - это первый элемент исходного списка, а все последующие элементы - это результат рекурсивного вызова функции append с уменьшенным на один аргументом.