% find the difference of two lists
diff([], _, []).
diff(L, [], L).
diff([H|T], L, R) :- member(H, L), diff(T, L, R).
diff([H|T], L, [H|R]) :- not(member(H,L)), diff(T, L, R).