リストをソートします。
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 標準の要件ではありません。
| 冒頭へ |
|