?- nth(0,[a,b,c],R). R = a ?- nth(2,[a,b,c,d],R). R = c nth(0,[X|_],X). nth(N,[_|T],R):- M is N-1,nth(M,T,R).