查找列表中的唯一项目

Question

我正在尝试编写一个规则，该规则决定一个项目是否X恰好出现在列表中L。unique(X, [X|T]):- !, \+ member(X, T).unique(X, [_|T]):- unique(X, T).该规则适用于确定值是否在列表中是唯一的，但是当我尝试使用unique(X, [1,2,3,1,3,2,5,4,3,8]).它在列表中获取唯一值时，返回的只是false.我期望的是这样（例如member(X, list).：X = 5 ;X = 4 ;X = 8 ;我是一个完全的初学者，我不知道我做错了什么。

Answer 1

这是一个简单的解决方案nth0/4（或select/3@false指出）：

unique(X, L) :-

    nth0(_, L, X, R),

    \+ member(X, R).

nth0/4第四个参数R是删除L元素的列表X。我们只是检查那X不是R。

更好的版本

unique(X, L) :-

    nth0(_, L, X, R),

    maplist(dif(X), R).

这解决了@false指出的问题，但是因为你是初学者我怀疑这对你很感兴趣。

这具有在以下情况下工作的优势：

?- unique(b, [X, Y, a]).

X = b,

dif(Y, b) ;

Y = b,

dif(X, b) ;

false.

Answer 2

这听起来像是一个家庭作业问题。

尝试这样的事情。

unique(M, L) :- member(M, L), count(M, L, 1).  

count(M, [H|T], C) :- M = H, count(M, T, C1), C is C + 1.

...

完成后，这给...

?- unique(X, [1,2,3,1,3,2,5,4,3,8]).

X = 5 ;

X = 4 ;

X = 8 ;

false.

unique(Item, List) :-

  select(Item, List, L2),

  \+ member(Item, L2).