Найти элементы в списке, значение которых совпадает с номерами их позиций

sootv([], _, 0).
 
sootv([H|T], Ind, Col):- % проверка головы списка на неравенство с индексом Ind
    H \= Ind,
    Ind1 is Ind+1,
    sootv(T, Ind1, Col).
sootv([H|T], Ind, Col):- % проверка головы списка на равенство с индексом Ind и увеличением счетчика Col.
    H = Ind, 
    Ind1 is Ind+1, 
    sootv(T, Ind1, Col1),
    Col is Col1+1.

sootv1(Xs, Ys) :-
    sootv1(Xs, 1, Ys).
    
sootv1([], _, []).
sootv1([Pos | Teil], Pos, [Pos | Rest]) :-
    Pos1 is Pos + 1,
    sootv1(Teil, Pos1, Rest).
sootv1([Head | Teil], Pos, Rest) :-
    Head \= Pos,
    Pos1 is Pos + 1,
    sootv1(Teil, Pos1, Rest).
    
sootv2(Xs, Ys) :-
    sootv2(Xs, 1, Ys).
 
sootv2([], _, []).
sootv2([Pos | Teil], Pos, [Pos | Rest]) :-
    Pos1 is Pos + 1,
    !,
    sootv2(Teil, Pos1, Rest).
sootv2([_ | Teil], Pos, Rest) :-
    Pos1 is Pos + 1,
    sootv2(Teil, Pos1, Rest).

? - sootv1([1,4,3,7,5], Ys).
Ys = [1, 3, 5] ;
false.

?- sootv2([1,4,3,7,5], Ys).
Ys = [1, 3, 5].

not_sootv1([], _, []).
not_sootv1([Pos | Teil], Pos, Rest) :-
    Pos1 is Pos + 1,
    not_sootv1(Teil, Pos1, Rest).
not_sootv1([Head | Teil], Pos, [Head | Rest]) :-
    Head \= Pos,
    Pos1 is Pos + 1,
    not_sootv1(Teil, Pos1, Rest).

?- not_sootv1([1,4,3,7,5], Ys).
Ys = [4, 7] ;
false.

domains
int=integer
intl=int*
 
predicates
task(intl,int,intl)
 
clauses
task([],_,[]).
task([K|R],K,[K|Z]) :- K1=K+1,task(R,K1,Z).
task([P|R],K,Z) :- K<>P, K1=K+1,task(R,K1,Z).

sootv3(Xs, Ys) :-
    sootv3(Xs, 1, Ys).
 
sootv3([], _, []).
sootv3([Head | Teil], Pos, Ys) :-
    ( Head = Pos -> Ys = [Head | Rest] ; Ys = Rest ),
    Pos1 is Pos + 1,
    sootv3(Teil, Pos1, Rest).