nth(N,L,X).
 

nth(N,L,X). - Определяет N-ый элемент X в списке L.

N

Число

L Список
X Элемент
 

Определение предиката

nth(1, [X|L], X).
nth(N, [Y|L], X) if
is(N1, minus(N, 1)),

nth(N1, L, X).
 

Примеры:

goal: nth(2,[1,2,3],X).

# X
1 2

goal: nth(2,[1,2,3],2). Да
goal: nth(2,[1,2,3],3). Нет
goal: nth(A,[1,2,3],2). Нет