List 搜索一个特殊的prolog谓词

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

使元素列表唯一（[1,1,1,2,2,3]，X），X=[1,2,3]

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

---

你知道吗？

你可以使用内置谓词

排序/2

。

我找到了内置谓词列表\u to \u set/2

很好用