elemAt/3, where the first argument is a list and the second argument is an integer N. The third argument is matched with the Nth element of the list, if it exists. For example: ?- elemAt ([a,b,c,d,e], 4,X). X = d ?- elemAt ([a,b,c,d,e],7,X). false