Prolog - 删除非唯一元素

我有一个谓词来检查元素是否是列表的成员，并且看起来如下：

member(X,[X|_]).
member(X,[_|T]) :- member(X,T).

当我打电话时： ?- member(1,[2,3,1,4]) 我明白了：是的。

现在我必须使用它来编写谓词，该谓词将从列表列表中删除所有非唯一元素，如下所示：

remove([[a,m,t,a],[k,a,w],[i,k,b,b],[z,m,m,c]],X).
X = [[t],[w],[i,b,b],[z,c]]

我怎样才能做到这一点？

Using library(reif) for SICStus http://www.complang.tuwien.ac.at/ulrich/Prolog-inedit/sicstus/reif.pl|SWI http://www.complang.tuwien.ac.at/ulrich/Prolog-inedit/swi/reif.pl:

lists_uniques(Xss, Yss) :-
   maplist(tfilter(in_unique_t(Xss)), Xss, Yss).

in_unique_t(Xss, E, T) :-
   tfilter(memberd_t(E), Xss, [_|Rs]),
   =(Rs, [], T).

请注意，虽然没有限制如何命名谓词，但非关系型命令名称通常隐藏了背后的纯关系。remove是一个真正的命令，但我们只想要一种关系。列表列表与仅包含唯一元素的列表列表之间的关系。

用法示例：

?- lists_uniques([[X,b],[b]], [[X],[]]).
   dif(X, b).

所以在这种情况下我们离开了X未实例化的变量。因此，Prolog 计算可能的最一般答案，找出什么X必须看起来像。

（请注意，在这种情况下，您接受的答案错误地失败了）