Удалить из первого списка те элементы, что отсутствуют во втором - Prolog

domains 
int=integer
intl=int*
 
predicates
memb(int,intl)
task(intl,intl,intl)
 
clauses
memb(_,[]) :- fail.
memb(X,[X|_]) :- !.
memb(X,[Y|T]) :- X<>Y, memb(X,T).
 
task([],_,[]).
task([H|T],Y,Z) :- not(memb(H,Y)), task(T,Y,Z).
task([H|T],Y,[H|Z]) :- memb(H,Y), task(T,Y,Z).