|Did you know ...||Search Documentation:|
The predicates reset/3 and shift/1 implement delimited continuations for Prolog. Delimited continuation for Prolog is described in Schrijvers et al., 2013. The mechanism allows for proper coroutines, two or more routines whose execution is interleaved, while they exchange data. Note that coroutines in this sense differ from coroutines realised using attributed variables as described in chapter 8.
The suspension mechanism provided by delimited continuations is
suitable for the implementation of tabling
al., 2015, see library
reset(Goal,Continuation,Ball). We swapped the argument order for compatibility with catch/3 shift/1 causes reset/3 to return, unifying Continuation with a goal that represents the continuation after shift/1. In other words, meta-calling Continuation completes the execution where shift left it. If Goal does not call shift/1, Continuation are unified with the integer
0(zero).75Note that older versions also unify Ball with
0. Testing whether or not shift happened on Ball however is always ambiguous.