在Prolog列表中正好有一对

Question

有人知道我如何确定/确保prolog列表中只有一个重复元素吗？

我正在学习准备考试。

Answer 1

使用sort/2对列表进行排序。它删除重复项，因此，如果排序列表短一条，则只有一对。

one_duplicate(L) :-
    sort(L, Sorted),
    length(L, Len),
    length(Sorted, SortedLen),
    Len =:= SortedLen + 1.

找到重复对完全是另一个问题。

Answer 2

one_duplicate(L) :-
    sort(L, Sorted),
    length(L, Len),
    length(Sorted, SortedLen),
    Len =:= SortedLen + 1.