current_choice_point/1¶

"current_choice_point( -CP " )

unify the logic variable CP with a number that gives the offset of the current choice-point. This number is only valid as long as we do not backtrack by or cut CP, and is safe in the presence of stack shifting and/or garbage collection.