Предикат уменьшения парных элементов списка - Prolog

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

Нужно написать предикат уменьшения парных элементов списка на 1. Я написала такой вариант, но не знаю правильно ли это. То ли ошибка в самом коде, то ли в реализации, неправильно использую предикат. Буду благодарна за помощь. вот сам код:

decPair([],[]).
decPair([X|L1], [X|L2]) :- (X mod 2) =:= 0, decPair(L1,L2).
decPair([X|L1],[Y|L2]) :- (X mod 2) \= 0, Y is X-1, decPair(L1,L2).

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

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

                            domains
int=integer
intl=int*
 
predicates
decEven(intl,intl)
 
clauses
decEven([],[]).
decEven([H|T],[H|R]) :- H mod 2 <> 0, decEven(T,R).
decEven([H|T],[H1|R]) :- H mod 2 = 0, H1 = H-1, decEven(T,R).
 
goal
decEven([1,2,3,4,5,6,7,8],U),write(U),nl.
                        