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.