Как удалить все вхождения элемента в список

% Copyright
 
implement main
    open core
 
domains
    integer_list = integer*.
 
class predicates
    set_of_numbers : (integer_list List [out]).
clauses
    set_of_numbers([5, 4, 3, 2, 1, 0, 1, 2, 3, 4]).
 
class predicates
    length : (integer_list List, integer Length [out]).
clauses
    length([], 0).  %
    length([_ | Tail], Length) :-
        length(Tail, TailLength),
        Length = TailLength + 1.
 
class predicates
    append : (integer ElementToInsert, integer_list List, integer_list NewList [out]).
clauses
    append(Element, [], [Element]) :-
        !.
    append(Element, List, [Element | List]).
 
class predicates
    delete : (integer ElementToDelete, integer_list List, integer_list NewList [out]) determ.
clauses
    delete(Element, [Element | Tail], Tail) :-
        !.
    delete(Element, [Head | Tail], [Head | Tail1]) :-
        delete(Element, Tail, Tail1).
 
class predicates
    isMember : (integer ElementToSearchFor, integer_list List) determ.
clauses
    isMember(ElementToSearchFor, [ElementToSearchFor | _]) :-
        !.
    isMember(ElementToSearchFor, [_ | Tail]) :-
        isMember(ElementToSearchFor, Tail).
 
class predicates
    concatenate : (integer_list ListToMerge, integer_list OriginalList, integer_list ResultingList [out]).
clauses
    concatenate([], OriginalList, OriginalList).
    concatenate([H | Tail1], OriginalList, [H | Tail3]) :-
        concatenate(Tail1, OriginalList, Tail3).
 
clauses
    run() :-
        console::init(),
        fail.
 
    run() :-
        set_of_numbers(OriginalList),
        length(OriginalList, Length),
        stdio::writef('\nДлина списка: %\n', Length),
        stdio::write('\nВведите целое число для вставки в список: '),
        ElementToInsert = stdio::read(),
        append(ElementToInsert, OriginalList, NewList),
        stdio::writef('\nИзмененный список: %\n', NewList),
        stdio::write('\nВведите целое число для удаления из списка: '),
        ElementToDelete = stdio::read(),
        if delete(ElementToDelete, OriginalList, ResultingList) then
            stdio::write("\nЭлемент удален\n"),
            stdio::writef('\nИзмененный список: %\n', ResultingList)
        else
            stdio::write("\nТакого элемента в списке нет\n")
        end if,
        stdio::write('\nВведите целое число для поиска в списке: '),
        ElementToSearch = stdio::read(),
        if isMember(ElementToSearch, OriginalList) then
            stdio::write("\nЭлемент находится в списке\n")
        else
            stdio::write("\nТакого элемента в списке нет\n")
        end if,
        fail.
 
    run() :-
        set_of_numbers(OriginalList),
        stdio::write('\nВведите список целых чисел для объединения с исходным списком: '),
        ListToAppend = stdio::read(),
        concatenate(ListToAppend, OriginalList, NewList),
        stdio::writef("\nПолученный список: %\n", NewList).
 
end implement main
 
goal
    console::runUtf8(main::run).

class predicates
    delete : (integer ElementToDelete, integer_list List, integer_list NewList [out]) determ.
clauses
    delete(Element, [Element | Tail], Tail) :-
        !.
    delete(Element, [Head | Tail], [Head | Tail1]) :-
        delete(Element, Tail, Tail1).