Removing all instances of an item in a list :Prolog

Question

removeAll(X, [ X | T], [ H1 | T1 ] ):-
      ( member ( X , T )
        -> removeAll ( X , T , [ H1 | T1 ] )
        ;[ H1 | T1 ] is T
      ).
removeAll ( X , [ H | T ] , L ):-
removeAll ( X , T , L2 ), append ( [ H ] , L2 , L ).

If i pass "removeAll(2,[1,1,2],L).",
it gives the error "ERROR: is/2: Type error: 'evaluable' expected, found '[]' (an empty_list)".

If i pass "removeAll(1,[1,1,2],L)." , it returns false.

Really confused. Where am i going wrong ?

Answer 1

First, you must consider the case that the source list is empty:

removeAll(_, [], []).

This is also the stop condition. Cause you are building a recursive predicate, deleting every element in the Head of the target list that match a specific element, until the list is empty

Second clause, if the element is the Head of the List, don't copy it to the Result list, and continue the recursive call with the Tail.

removeAll(X, [X|T], L):- removeAll(X, T, L), !.

Third clause, copy the element in the Head of the list to the Result list, and continue with the recursive call with the Tail.

removeAll(X, [H|T], [H|L]):- removeAll(X, T, L ).

Your predicate:

removeAll(_, [], []).
removeAll(X, [X|T], L):- removeAll(X, T, L), !.
removeAll(X, [H|T], [H|L]):- removeAll(X, T, L ).