Availability:built-in
prolog_skip_frame(-Frame)Indicate Frame as a skipped frame and set the‘skip
level’(see
prolog_skip_level/2
to the recursion depth of Frame. The effect of the skipped
flag is that a redo on a child of this frame is handled differently.
First, a redo trace is called for the child, where the skip
level is set to redo_in_skip. Next, the skip level is set
to skip level of the skipped frame.