createChildAppendingRulesAndChoicePoints
fun PrologExecutionContext.createChildAppendingRulesAndChoicePoints(rules: Cursor<out Rule>, currentGoal: Struct = this.currentGoal!!.castToStruct()): PrologExecutionContext
Combines createChild and appendRulesAndChoicePoints: the usual way StateRuleSelection moves into a non-tail rule call.