|Did you know ...
Note that in the current implementation, the pruned choice points and
environment frames are not reclaimed. As a consequence, where
predicates that are deterministic due to clause indexing, normal cuts or
(if->then;else) and and tail recursive run in bounded
local stack space, predicates using prolog_cut_to/1
will run out of stack.