B.1 Examining the Environment Stack
AllApplicationManualNameSummaryHelp

Availability:built-in
[semidet]prolog_current_choice(-Choice)
Unify Choice with an integer provided a reference to the last choice point. Fails if the current environment has no choice points. See also prolog_choice_attribute/3.
ClioPatria (version V3.1.1-40-g9d9e003)