appendRulesAndChoicePoints
fun PrologExecutionContext.appendRulesAndChoicePoints(rules: Cursor<out Rule>): PrologExecutionContext
Attaches rules as this context's PrologExecutionContext.rules cursor and records a matching it.unibo.tuprolog.solve.prolog.ChoicePointContext.Rules onto PrologExecutionContext.choicePoints, so the remaining candidates (if any) can be retried later on backtracking.