create
fun ClassicExecutionContext.createChildAppendingPrimitivesAndChoicePoints(primitiveExecutions: <ERROR CLASS><out <ERROR CLASS>>, inferProcedureFromGoals: Boolean = true): ClassicExecutionContext
Content copied to clipboard