- 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