merge_sort/2 /MINERVA/Manual/Reference/Predicates/lists/merge

merge_sort/2

リストをソートします。

merge_sort/2は、UnsortListの要素をソートして、SortListでその新しいリストを単一化します。順序は、MINERVAの中で項の順序によって与えられます。
sort/2と違って、merge_sort/2は、重複要素を削除しません。

UnsortList             リスト
SortList               　リスト

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

は代入X <- [a,a,c,d]で成功します。

この述語は、ISO-Prolog 標準の要件ではありません。