差集合を求める述語を定義したいと思うのですが、なかなかできないのでヒントをお願いします。

①
difference([a,b,c,d],[b,a],Z).
|?- Z=[c,d]
②
difference([b,a],[a,b,c,d],Z).
|?- Z=[c,d]
③
difference(X,[b,a],[c,d]).
|?- X=[a,b,c,d]

が全て成り立つようにしたいのです。
①、②はできたのですが、③を入力したときに終わらなくなります。
よろしくお願いします。