solve-classic/it.unibo.tuprolog.solve.classic.fsm/createChild

createChild

fun ClassicExecutionContext.createChild(inferProcedureFromGoals: Boolean = true): ClassicExecutionContext
Content copied to clipboard