4.9 Delimited continuations
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • Built-in Predicates
        • Delimited continuations
          • reset/3
          • shift/1
          • shift_for_copy/1
    • Packages
Availability:built-in
Source[experimental]shift_for_copy(+Ball)
Similar to shift/1. This version is intended for situations where it is assumed the continuation is copied and saved to be executed one or multiple times in a different context. This notably prevents restoring choice points saved for \+/1, If->Then;Else, etc.