Определить номер элемента списка, значение которого равно сумме первого и последнего элементов - Prolog

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

Как реализовать данную задачу на Prolog? Определять номер элемента списка из целых чисел, значение которого равно сумме первого и последнего элементов.Буду очень благодарна за помощь!

Решение задачи: «Определить номер элемента списка, значение которого равно сумме первого и последнего элементов»

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

last_el([X], X).
last_el([_|H], X) :- last_el(H, X).
 
pos_el([H|_], H, 1).
pos_el([V|T], H, Z) :- V=\=H, pos_el(T, H, Z1), Z is Z1+1.
 
task([H|T], R) :- last_el(T, L), U is H+L, pos_el([H|T], U, R).

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

Код решает задачу поиска индекса (позиции) элемента в списке, значение которого равно сумме первого и последнего элементов. В коде три процедуры:

last_el — определяет последний элемент в списке. Если список пустой, то первый элемент считается последним.
pos_el — определяет позицию элемента в списке. Если элемент равен последнему, то его позиция равна 1. В противном случае, рекурсивно вызывается процедура для оставшейся части списка и увеличивается позиция на 1.
task — главная процедура, которая рекурсивно обрабатывает список, пока не будет найден нулевой элемент. Если список пустой, то ищется пара элементов: первый и последний. Если сумма их значений совпадает со значением искомого элемента, то возвращается его позиция.