start prefix-context in solve-rules with full context to allow resolution of predicate fns passed in