Описать функцию, которая заменяет все вхождения определенного элемента на данный - Prolog

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

Помогите пожалуйста! Описать функцию, которая заменяет все вхождения определенного элемента на данный

Решение задачи: «Описать функцию, которая заменяет все вхождения определенного элемента на данный»

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

domains
int=integer
intl=int*
 
predicates
repl_all(intl,int,int,intl)
 
clauses
repl_all([],_,_,[]).
repl_all([H|T],H,N,[N|Q]) :- repl_all(T,H,N,Q).
repl_all([U|T],H,N,[U|Q]) :- U <>H, repl_all(T,H,N,Q).
 
goal
repl_all([1,2,3,1,2,3],2,-2,Z),write(Z),nl.

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

Задача программы - заменить все вхождения числа 2 на -2 в списке [1,2,3,1,2,3].
Программа написана на языке Prolog.
Используется следующая постановка задачи: функция, которая заменяет все вхождения определенного элемента на данный.
В программе используется домен int=integer и intl=int*.
В программе определена функция repl_all(intl,int,int,intl).
В первом правиле рекурсии (replall([],,_,[])) программа заканчивается, если список пустой.
Во втором правиле рекурсии (repl_all([H|T],H,N,[N|Q]) :- repl_all(T,H,N,Q).) программа продолжает работу, если первый элемент списка (H) совпадает с числом, которое нужно заменить (N).
В третьем правиле рекурсии (repl_all([U|T],H,N,[U|Q]) :- U <>H, repl_all(T,H,N,Q).) программа продолжает работу, если первый элемент списка (U) не совпадает с числом, которое нужно заменить (H).
В конечном итоге, программа заменяет все вхождения числа 2 на -2 в списке [1,2,3,1,2,3].
Выводится список Z, который равен [-1,-2,-3,-1,-2,-3].
Программа завершается.