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 no GIT?)