搜索特殊的序言谓词

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！

工作得很好。