toRequest
fun ConcurrentExecutionContext.toRequest(goal: Struct, signature: Signature, startTime: TimeInstant): Solve.Request<ConcurrentExecutionContext>
Builds the Solve.Request a it.unibo.tuprolog.solve.primitive.Primitive matching signature is invoked with, for goal.