list - 测试列表是否代表一个没有重复的集合的过程

Question

在 Prolog 中，如何编写可用于测试列表是否表示无重复集的过程？

Answer 1

有几种方法可以做到这一点。 @thanosQR 指向 SWI-Prolog 的 is_set/1 是正确的，但如果您想要一个可移植的解决方案，您可以根据 setof 定义该谓词:

is_set(Lst) :-
    setof(X, member(X, Lst), Set),
    length(Lst, N),
    length(Set, N).

如果列表的元素数量等于其元素的 setof 中的元素数量，则列表不包含重复项。

您还可以使用(我相信是非标准的，但通常可用的)sort/2，它可以消除重复项:

is_set(Lst) :-
    sort(Lst, Set),
    length(Lst, N),
    length(Set, N).

这需要 O(n lg n) 时间来运行。