|
|
|||||||||
sorts a list.
sort(+UnsortList, -SortList)
sort/2 sorts the elements of UnsortList, removes all duplicates and unifies that new list with SortList. The order is given by the order of the terms in MINERVA.
Arguments
UnsortList list SortList list
Examples
| sort([a,d,c,a],X). | Succeeds with substitution X <- [a,c,d]. |
Standard
This predicate is not part of the ISO-Prolog Standard.
See also
append/3, member/2, reverse/2/3. merge_sort/2.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/lists/sort/print_de.html published 2008/12/1 update 2001/2/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
