| リストをソートします。
merge_sort(+UnsortList, -SortList)
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 標準の要件ではありません。
以下も参照して下さい
append/3、
member/2、
reverse/2/3、
sort/2
|