replaceWithChildAppendingRulesAndChoicePoints
fun PrologExecutionContext.replaceWithChildAppendingRulesAndChoicePoints(rules: Cursor<out Rule>, inferProcedureFromGoals: Boolean = true): PrologExecutionContext
Combines replaceWithChild and appendRulesAndChoicePoints: how StateRuleSelection moves into a last-call-optimized (tail) rule call.