appendPrimitivesAndChoicePoints
fun PrologExecutionContext.appendPrimitivesAndChoicePoints(primitiveExecutions: Cursor<out Solve.Response>): PrologExecutionContext
Solve.Response analogue of appendRulesAndChoicePoints, recording a it.unibo.tuprolog.solve.prolog.ChoicePointContext.Primitives instead.