order_by(Spec,
Goal)Order solutions according to Spec. Spec is a list
of terms, where each element is one of. The ordering of solutions of Goal
that only differ in variables that are not shared with Spec
is not changed.
- asc(Term)
- Order solution according to ascending Term
- desc(Term)
- Order solution according to descending Term