predsort(+Pred,
+List, -Sorted)Sorts similar to sort/2,
but determines the order of two terms by calling Pred(-Delta,
+E1, +E2) . This call must unify Delta
with one of <
, >
or
=
. If the built-in predicate compare/3
is used, the result is the same as sort/2.
See also keysort/2.