p_order(+P, -SortKey) is semidet[private]
SortKey is the key used for sorting the predicate P.
To be done
- Make this hookable.