domains
i=integer
il=i*
predicates
del(i,il,il)
clauses
del(1,_,[]):-!.
del(Num,[X|T],[X|T1]):-N=Num-1,del(N,T,T1).
goal
del(5,[4,11,-5,8,2,3,9,-5,2,10],L).