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

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

Все вхождения заданного элемента уменьшите на заданное число.не работает! в чем ошибка?

                    Листинг программы
                
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).

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

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

?- dec_n_all([1,2,10,3,10,4,10],10,3,L).
L = [1, 2, 7, 3, 7, 4, 7] ;
false.

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

В данном коде применяется рекурсия для обработки списков. Рекурсивный вызов происходит в функции dec_n_all/4, которая принимает следующие аргументы:

[1,2,10,3,10,4,10] - список, который нужно обработать (обозначим его как X)
10 - число, которое нужно уменьшить (обозначим его как N)
3 - число, которое нужно использовать для уменьшения (обозначим его как M)
L - переменная, которая будет содержать результат обработки списка (обозначим ее как L) В данном случае, рекурсивный вызов происходит до тех пор, пока не будет достигнуто условие N == 0, после чего происходит возврат результатов обработки списков. В результате обработки получается список [1, 2, 7, 3, 7, 4, 7], где каждое число в списке X уменьшается на M (в данном случае на 3), а затем возвращается в список L. Однако, если применить данную операцию к списку X, содержащему числа, которые уже уменьшены на M, то результатом будет false, так как условие N == 0 не будет выполнено.