[SWI-Prolog] Создание списков

[Harbinger]

Здравствуйте, помогите пожалуйста доделать программу. Задача состоит в том, . Множества заданы списками строк L1 и L2. Получить в виде списка L3 множество L1\L2. Я попытался сделать, компилятор ругается. Заранее спасибо

delete3(X,[X|T],T).
delete3(X,[Y|T],[Y|T1]):-delete3(X,T,T1).


append([],L,L).
append([X|_],L2,[X|_]):-
	not(member(H,L2)),!,delete3(H,L2).

[Harbinger]

Неужели нет никаких мыслей и намеков?