測試列表是否表示沒有重複的集合

Question

內部謂詞setof/3可用於創建沒有重複的有序列表。

我也可以用它來測試列表是否代表沒有重複的集合？喜歡這個？

no_duplicates(L) :- setof(_,_,L). 

Answer 1

你不能完全按照你描述的方式使用它。但是，你可以使用setof來確定一個列表是否是一個集合，如果你讓它遍歷你的列表中的成員，然後檢查與原始集合。如果它們具有相同的長度，那麼所有元素都是唯一的。

no_duplicates(L) :- 
    setof(X, member(X, L), Set), 
    length(Set, Len), 
    length(L, Len). 

Answer 2

你不行。你的論點沒有被充分實例化。

如果您正在使用SWI-Prolog，則可以在lists模塊中使用謂詞 is_set/1。