Predsort/3 类似于 msort/2

我想知道是否可以使用predsort/3不丢失重复值？如果不是，那我应该如何对这个术语列表进行排序？

当前排序功能：

compareSecond(Delta, n(_, A, _), n(_, B, _)):-
        compare(Delta, A, B).

Result:

predsort(compareSecond, [n(3, 1, 5), n(0, 0, 0), n(8, 0, 9)], X).
X = [n(0, 0, 0), n(3, 1, 5)].

你看，这个词n(8,0,9)已经消失了，那不是我需要的。

predsort will删除重复项，但将其留给比较谓词来定义哪些元素是重复的。适应你的compareSecond如果第二个参数比较相等，则谓词还将第一个和第三个参数与其接收的函子进行比较。

或者，切换到msort:

?- maplist(swap_1_2, [n(3, 1, 5), n(0, 0, 0), n(8, 0, 9)], Swapped),
|    msort(Swapped, SortedSwapped),
|    maplist(swap_1_2, Sorted, SortedSwapped).
% snip
Sorted = [n(0, 0, 0), n(8, 0, 9), n(3, 1, 5)] .

其中的定义swap_1_2留给读者作为练习。