Списки, найти максимальный элемент среди отрицательных из первых n-1 элементов - Prolog

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

Надо написать программу для нахождения максимального элемента среди отрицательных из первых n-1 элементов. Понял как находить макс элемент, а вот чтобы из первых n-1 не могу никак додуматься

Решение задачи: «Списки, найти максимальный элемент среди отрицательных из первых n-1 элементов»

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

domains
int=integer
intl=int*
 
predicates
get_head(intl,int,intl)
get_neg(intl,intl)
max_el(intl,int)
task(intl,int,int)
 
clauses
get_head([],_,[]).
get_head(_,0,[]):- !.
get_head([H|T],N,[H|R]) :- N1=N-1, get_head(T,N1,R).
 
get_neg([],[]).
get_neg([H|T],[H|R]) :- H < 0, get_neg(T,R).
get_neg([H|T],R) :- H >= 0, get_neg(T,R).
 
max_el([X],X).
max_el([H|T],X) :- max_el(T,X), X>H.
max_el([H|T],H) :- max_el(T,X), X<=H.
 
task(A,N,R) :- get_head(A,N,T), get_neg(T,Z), max_el(Z,R).

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

В коде используется язык программирования Prolog.
Код решает задачу поиска максимального отрицательного элемента из первых n-1 элементов списка.
Для этого в коде определены следующие основные переменные:
- A - список, в котором ищется максимальный элемент.
- N - количество элементов, из которых необходимо выбрать максимальный.
- R - результат, который будет содержать найденный максимальный элемент.
В коде определены следующие вспомогательные переменные:
- T - список, полученный после удаления из A первых n элементов.
- Z - список, содержащий только отрицательные элементы из T.
Для решения задачи используются следующие вспомогательные predicates:
- get_head - получает голову списка A при заданном индексе N.
- get_neg - получает список Z, содержащий только отрицательные элементы из списка T.
- max_el - находит максимальный элемент из списка Z и присваивает его переменной R.
Основное решение задачи представлено в правиле task, которое использует predicates get_head и get_neg для получения списка Z, а затем predicate max_el для нахождения максимального элемента.
Правило get_head определяет рекурсивный алгоритм получения головы списка A при заданном индексе N.
Правило get_neg определяет алгоритм получения списка Z из списка T, содержащего только отрицательные элементы.
Правило max_el определяет алгоритм нахождения максимального элемента из списка Z.
Для поиска максимального элемента из первых n-1 элементов списка A необходимо вызвать правило task с аргументами A, N и пустым списком R.