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 を見つけました!

非常にうまく動作します。