Naming clarification about delimited continuation (reset/3 and shift/1)

Hi @chansey97,

I am aware of the issue you describe. A simple work-around that I tend to use is to create copies of the continuation with fresh unification variables using copy_term/2. This is for instance used in the implementation of tabling.

Best,

Tom

1 Like