sort/2 /MINERVA/Manual/Reference/Predicates/lists/sort/

sort/2

リストをソートする。

sort/2 は、非順リストの要素をソートし、重複要素を除き、その結果をソートリストに単一化する。順序は、MINERVAの項の順序で与えられる。

非順リスト             リスト
ソートリスト           リスト

sort([a,d,c,a],X).

X <- [a,c,d] の代入で成功。

この述語は、ISO-Prolog 標準には含まれない。