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

predicates
elezamia(s, i, ls, ls)

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