Формирование списка - Prolog (226782)

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

Помогите пожалуйста. Составить программу на Прологе. Дан список. Сформировать на его основе новый так, чтобы 1ый нечетный элемент был на 1ом месте, 1ый четный элемент на последнем, 2ой нечетный элемент на 2ом месте , 2ой четный элемент на предпоследнем и так далее

Решение задачи: «Формирование списка»

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

domains
int=integer
intl=int*
 
predicates
rev(intl,intl)
app(intl,intl,intl)
split(intl,intl,intl)
task(intl,intl)
 
clauses
app([],X,X).
app([H|T],X,[H|Y]) :- app(T,X,Y).
 
rev([],[]).
rev([H|T],Q) :- rev(T,Z), app(Z,[H],Q).
 
split([],[],[]).
split([H|T],[H|Q],Z) :- H mod 2 = 1,split(T,Q,Z).
split([H|T],Q,[H|Z]) :- H mod 2 = 0,split(T,Q,Z).
 
task(X,Y) :- split(X,X1,X2), rev(X2,XX), app(X1,XX,Y).

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

В коде используется язык программирования Prolog.
Код содержит четыре предиката: rev, app, split, task.
Предикат rev применяется для обращения списка.
Предикат app используется для объединения списков.
Предикат split используется для разделения списка на две части.
Предикат task используется для выполнения задачи, которая включает разделение списка на две части, обращение одной из частей и объединение списков.
В коде есть три функциональных обозначения: int, intl, domains.
Обозначение int используется для целочисленных значений.
Обозначение intl используется для списков целочисленных значений.
Обозначение domains используется для определения типов данных для переменных.
В коде есть три утверждения (clauses) для предиката app.
Первое утверждение гласит, что если список пуст, то результатом будет любой элемент.
Второе утверждение гласит, что если список не пуст, то результатом будет элемент, следующий за последним элементом в списке.
Третье утверждение гласит, что если список пуст, то результатом будет пустой список.
В коде есть два утверждения (clauses) для предиката rev.
Первое утверждение гласит, что если список пуст, то результатом будет пустой список.
Второе утверждение гласит, что если список не пуст, то результатом будет список, в котором элементы расположены в обратном порядке.
В коде есть два утверждения (clauses) для предиката split.
Первое утверждение гласит, что если список пуст, то результатом будет пустой список для каждого из двух подсписков.
Второе утверждение гласит, что если список не пуст, то он разделяется на два подсписка, причем каждый подсписок содержит элементы, у которых четность или нечетность совпадает с четностью или нечетностью первого элемента подсписка.