差集合(X,[],X).
差集合(X,[A|R],Z) :- del(A,X,X2),差集合(X2,R,Z).

delの定義は自分でやってみてください。