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