appendChoicePoint
fun PrologExecutionContext.appendChoicePoint(alternatives: Cursor<out Rule>): PrologExecutionContext
Records a it.unibo.tuprolog.argumentation.core.engine.ChoicePointContext.Rules onto PrologExecutionContext.choicePoints whose alternatives resolve the current goal of this context on backtracking (arg2p): for the frames whose first alternative is not a clause (see ControlConstruct)