Сравнение четных и нечетных элементов списка - Prolog

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

Помогите, пожалуйста, с задачей. Дан список. Убедиться, что элемент, стоящий на четном месте в списке больше, чем стоящие рядом на нечетных местах элементы. Проверить, что количество элементов в списке - нечетно. Очень нужно решение, буду безмерно благодарна!

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

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

domains
int=integer
intl=int*
 
predicates
test(intl)
 
clauses
test([]).  %% Пустой список удовлетворяет условию
test([_]). %% Список из одного элемента - тоже
test([X,Y]) :- X<Y. %% Список из двух удовлетворяет, если второй эл-т больше первого
test([X,Y,Z|H]) :- Y>X, Y>Z, test([Z|H]). %% список из трех и более эл-тов удовлетворяет, если второй эл-т больше первого и третьего, и кусок списка, начиная с третьего элемента удовлетворяет предикату

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

domains - определения типов данных для переменных
predicates - определения условий для проверки истинности утверждений
clauses - определения правил для проверки истинности утверждений
test([]). - пустой список удовлетворяет условию
test([_]). - список из одного элемента - тоже удовлетворяет условию
test([X,Y]) :- X<Y. - если второй элемент списка больше первого, то список удовлетворяет условию
test([X,Y,Z|H]) :- Y>X, Y>Z, test([Z|H]). - если второй элемент списка больше первого и третьего, и кусок списка, начиная с третьего элемента удовлетворяет предикату, то список удовлетворяет условию