Проблемы с циклом foreach

implement main
    open core, console
 
class facts
    i : unsigned := 0.
 
class predicates
    deleteItemsWithEvenIndices: (integer* List) anyflow.
 
clauses
    deleteItemsWithEvenIndices(List) :-
        Copy = List,
        foreach Item in Copy do
            if i mod 2 = 0 then
                List = list::remove(List, Item)
            end if,
            i := i + 1
        end foreach.
 
    run() :-
        init(),
        write("\tВведите список в квадратных скобках с запятыми"), nl,nl,
        write("Список -> "),
        List = read(), nl,
 
        write("\tСписок, в котором удалены элементы с четными индексами:"),
        deleteItemsWithEvenIndices(List),
        write(List),
        nl.
 
end implement main
 
goal
    console::runUtf8(main::run).

error c635 : The body of 'foreach' must be procedure

List = list::remove(List, Item)

(
    List = list::remove(List, Item);
    succeed
)

implement main
    open core, console
 
class facts
    i : unsigned := 0.
    mylist: integer* := [].
 
class predicates
    deleteItemsWithEvenIndices: (integer* List).
 
clauses
    deleteItemsWithEvenIndices(List) :-
        mylist := List,
        foreach Item in List do
            if i mod 2 = 0 then
                mylist := list::remove(mylist, Item)
            end if,
            i := i + 1
        end foreach.
 
    run() :-
        init(), nl,
        write("\tВведите список в квадратных скобках с запятыми"), nl,nl,
        write("Список >> "), List = read(),
 
        deleteItemsWithEvenIndices(List),
        write("Список, в котором удалены элементы с четными индексами:"),
        write(mylist), nl.
 
end implement main
 
goal
    console::runUtf8(main::run).

NewList = [X || X in List, i := i + 1, i mod 2 > 0]