Извлечение последнего элемента - способ ограничения выбора элементов во множестве, сводящийся к предъявлению к согласованию только последнего элемента указанного множества.
Запись соответствия "Извлечение последнего элемента" в символьной форме: last(N). N - порядковый номер параметра в функции. Соответствие является сокращенной записью эквивалентного соответствия first(re(N)).