Did you know ... | Search Documentation: |
Ancestral cuts |
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.