nth0(Index, List, Item) is true if and only if Item is the element of List on the Index-th position. nth0 starts the index count at 0.