搜索特殊的序言謂詞

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！

工作得很好。