I need to remove all even numbers in first list and save the rest to second list. My first non-working approach was:
remove_even([],[]). remove_even([H1|T1],
an handy library builtin is exclude
1 ?- [user]. |: even(N) :- N mod 2 =:= 0. % user://1 compiled 0.02 sec, 2 clauses true. 2 ?- exclude(even, [1,2,3,4], L). L = [1, 3].