Второй по величине элемент в массиве.Prologue.

[Nicko_mt]

Доброго времени суток. Возник вопрос по prologue. Как при помощи пролога определить с помощью функции второй максимальный элемент в массиве.
Массивов я как понимаю в прологе нет там в основном списки. Вот так что я сделал для списков.Но вот есть ли там функции в прологе этого я так и не нашёл.

Написал обычный предикатный код для нахождения одного максимума.Как второй найти не знаю и как это в функцию вогнать.

domains 
list = integer*
element=integer
predicates

readlist(integer,list)
max_(integer,integer,list,element)

clauses
readlist(0,[]).
readlist(N,[X|L]):-
N>0,
write("Введите следующее число"),
readint(X),
M=N-1,
readlist(M,L).

 max_(I,I,[H|[]],H):-!.
   max_(F,II,[H|T],Z):-
        N=F+1,
        max_(N,II,T,Z),
        Z>H.
    max_(F,F,[H|_],H).
 

goal

write("Введите длину списка"),
readint(N),nl,
readlist(N,L),

write("Список"),
write(L),nl,

max_(0,I,L,M),
write("L["),write(I),write("]: "),write(M),nl.

Вопрос вообще то не типичный для раздела.Но может быть кто то разбрается в прологе.Лично я его изучать начал недавно и привыкнуть к нему после паскаля и c++ сложновато.
Заранее благодарен.