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