|
|
|||||||||
リストをソートします。
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| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/lists/merge_sort/print_jp.html published 2012/5/21 update 2001/2/7 (c) 1996-2009 IF Computer Japan | ||||||||
|
