domains
i=integer
li=i*
s=symbol
ls=s*

predicates
elemnam(s, i, ls, ls)

clauses
elemnam(N, 1, U, [N|U]).
elemnam(N, M, [G|O], W) :-M1=M-1, elemnam(N, M1, O, W1), W=[G|W1].