domains
    intlist = integer*

predicates
    nondeterm move_even(intlist, intlist).
    nondeterm move_even_index(intlist, intlist).

clauses
    move_even([], []).
    move_even([H1|T1], [H1|T2]) :-
        H1 mod 2 = 0,
        move_even(T1, T2),!.
    move_even([_|T1], L2) :-
        move_even(T1, L2).

/*
    move_even_index([], []).
    move_even_index([_,H2|T1], [H2|T2]) :-
        move_even_index(T1, T2),!.
    move_even_index([_|T1], L2) :-
        move_even_index(T1, L2).
*/

    move_even_index([], []).
    move_even_index([_], []).
    move_even_index([_,H2|T1], [H2|T2]) :-
        move_even_index(T1, T2).


goal
    move_even_index([1,2,3,4,5], Res).