A primitive whose goal the engine can solve itself, as a sub-goal of the same resolution, rather than through the solutions the primitive computes (arg2p: module calls, context lookups). Other solvers just call solve.
How the engine solves the call request; null when it is solved as any primitive, through solve