createChildAppendingRulesAndChoicePoints
fun ClassicExecutionContext.createChildAppendingRulesAndChoicePoints(rules: Cursor<out Rule>, inferProcedureFromGoals: Boolean = true): ClassicExecutionContext
Combines createChild and appendRulesAndChoicePoints: the usual way StateRuleSelection moves into a non-tail rule call.