B.1 Examining the Environment Stack
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • Hackers corner
        • Examining the Environment Stack
          • prolog_current_frame/1
          • prolog_current_choice/1
          • prolog_frame_attribute/3
          • prolog_choice_attribute/3
          • deterministic/1
    • Packages
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.