リストをソートする。...
移動
次へ 前へ
上へ 最上
参考
append/3
member/2
reverse/2/3
sort/2
merge_sort/2
イフコンピュータ > MINERVA > マニュアル > レファレンス > 述語 > リスト > sort/2

sort/2

リストをソートする。

sort(+非順リスト, -ソートリスト)

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

引数

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

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

標準

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

関連

append/3, member/2, reverse/2/3.

続く..
MINERVA
ifcomputer logo
f
Expert Services on the Web
言語
English
Japanese
サーバー
USA
Japan
サイトマップ
索引
目次
全体目次
全体索引
印刷向き
imode
PDA
探索
document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/lists/sort/home_jp.html
published 2008/10/6 update 2001/2/7 (c) 1996-2006 IF Computer Japan
IF Computer 〒113-0022 Tel 03-5814-3352 start (AT) ifcomputer.com
Customer Support 東京都文京区千駄木5-28-2   http://www.ifcomputer.co.jp
冒頭へ managed with ubiCMS