list - 搜索特殊的序言谓词

Question

我需要一个简单的 Prolog 谓词，例如：

make_list_elements_unique([1,1,1,2,2,3], X) 其中 X = [1,2,3]。

在开始自己编写之前，我想搜索一个内置谓词。我不能建议 Prolog 没有这样的谓词。

你知道吗？

Answer 1

您可以为此使用内置谓词sort/2。

Answer 2

我为此找到了内置谓词 list_to_set/2 ！

工作得很好。