Задачка со списками, предикатими и рекурсией. А также нечетные элементы в обратном порядке - Prolog

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

Всем доброго дня, вот такую задачу нам дали для решения, говорят, можно легко решить, но для меня - это закрытая книга((( Прошу вас помочь мне Первый аргумент -произвольный список , второй аргумент -список, соответствующий только нечетным по порядку встречи в первом списке элементам, взятым в обратном порядке. В работе не должны быть задействованы стандартные предикаты. _______________________________________________________________________________________________ Преподаватель дал пару подсказок: рекурсия, голова может состоят не только из 1ого элемента. Заранее спасибо!!!

Решение задачи: «Задачка со списками, предикатими и рекурсией. А также нечетные элементы в обратном порядке»

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

splash([], []).
splash([X1], [X1]).
splash([X1, X2 | Xs], [X1 | Zs]) :-
    splash(Xs, [X2], Zs).
 
splash([], Ys, Ys).
splash([X1], Ys, [X1 | Ys]).
splash([X1, X2 | Xs], Ys, [X1 | Zs]) :-
    splash(Xs, [X2 | Ys], Zs).

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

В коде представлена логическая программа на языке Prolog, которая реализует рекурсивную функцию splash для обработки списков. Код состоит из двух частей:

Определение рекурсивной функции splash для обработки списков.
Реализация обработки списков с использованием рекурсивной функции splash. В первой части кода определены два случая:
Пустой список не влияет на результат, поэтому оба списка остаются пустыми.
Если список содержит один элемент, то этот элемент добавляется в начало результирующего списка. Во второй части кода определены два случая:
Пустой список не влияет на результат, поэтому все три списка остаются пустыми.
Если список содержит один элемент, то этот элемент добавляется в начало результирующего списка. В целом, код реализует рекурсивную функцию splash, которая принимает список, предикат и результирующий список. Например, если мы хотим отсортировать список нечетных чисел в обратном порядке, мы можем использовать следующий предикат: splash([X1, X2 | Xs], [X1 | Zs]) :- X1 % 2 = 1, splash(Xs, [X2], Zs). Этот предикат проверяет, является ли первый элемент списка нечетным числом, и если это так, то он добавляется в начало результирующего списка, а оставшаяся часть списка рекурсивно обрабатывается.