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

predicates
ktorys(l, li, l)

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