public final class Sort extends AbstractSingleResultPredicate
msort(X,Y)
- sorts a list.
Attempts to unify Y
with a sorted version of the list represented by X
.
Note that, unlike sort/2
, duplicates are not removed.
Constructor and Description |
---|
Sort() |
Modifier and Type | Method and Description |
---|---|
protected boolean |
evaluate(Term unsorted,
Term sorted) |
evaluate, evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
isAlwaysCutOnBacktrack
protected boolean evaluate(Term unsorted, Term sorted)
evaluate
in class AbstractSingleResultPredicate
Copyright © 2024. All rights reserved.