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
This predicate is based on findall/3 and (thus) variables in answers
are copied.