If I understand correctly, predicates are currently parsed using caller's frame locals and globals. It would be nice if it were possible to pass a user-defined context along with rules (to where() and relatives). Use-case being wrappers (or just indirect calls) for generic functions. Cheers, Simon