create
fun ClassicExecutionContext.createChildAppendingRulesAndChoicePoints(rules: Cursor<out Rule>, inferProcedureFromGoals: Boolean = true): ClassicExecutionContext
Content copied to clipboard