p_order(+P, -SortKey) is semidet[private]

SortKey is the key used for sorting the predicate P.

To be done

- Make this hookable.