Номер заданного элемента

domains
L=integer*
N=integer.
 
predicates
conc(L,L,L)
rev(L,L)
rd(N,L).
 
clauses
rd(0,[]).
rd(N,L):-
readint(A),
N1=N-1, rd(N1,L1),
L=[A|L1].
 
conc([],X,X).
conc([H|T],X,[H|Z]):-
conc(T,X,Z).
 
rev([],[]).
rev([H|T],Z):-
rev(T,Q), conc(Q,[H],Z).
/* номер позиции элемента*/
find_pos(list,int,int)
/* номер позиции элемента*/
find_pos([],_,0):-!.
find_pos([H|T],X,K):- X<>H,K1=K+1,find_pos(T,X,K1).
find_pos(_,_,K):-write(K),nl,!.
/* выведет элемент под номером N*/
find_n([],_,0):-!.
find_n([_|T],N,K):- N<>K,K1=K+1,find_n(T,N,K1).
find_n([H|_],_,_):-write(H),nl,!.
/*--------------------------------*/
/* удалить элемент с заданным номером */
del_n(list,int,int,list,list)

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(6,[4,11,-5,8,2,3,9,-5,2,10,11],L).

domains
int=integer
intl=int*
 
predicates
delbynum(intl,int,intl)
 
clauses
delbynum([],_,[]).
delbynum([_|T],0,T).
delbynum([H|T],N,[H|R]) :- N1=N-1, delbynum(T,N1,R).

cutbynum([],_,[]).
cutbynum(_,0,[]) :- !.
cutbynum([H|T],N,[H|R]) :- N1=N-1, cutbynum(T,N1,R).

goal
 
cutbynum([1,2,3,4,5,6,7,8],4,R), write(R), nl.

cuthead(0,X,X).
cuthead(N,[_|T],R):- N1 = N-1, cuthead(N1,T,R).