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