Hogyan lehet deklaratíven megfogalmazni az L lista N-dik elemét visszaadó 
eljárást?

Definiálunk egy eleme(+L,+N,-E) predikátumot az alábbiak szerint.
A predikátum jelentése egy L lista N-dik eleme az E. 
Két klózra lesz szükségünk:
(i) Ha N=1, akkor éppen a lista első elemére vagyunk kiváncsiak, tehát 
ekkor E egyenlő a lista első elemével.
(ii) Ha N>1, akkor az igaz, hogy a lista farkának épp (N-1)-dik eleme 
a keresett elem.