I think partial evaluation should be high order predicates, no? Or maybe meta predicates?
And yes, this is typically a reason to put keys/selectors, etc. at the front, leading to the order
x(action params, object to act upon, result).
2 Likes