B.3 Intercepting the Tracer
AllApplicationManualNameSummaryHelp

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.
ClioPatria (version V3.1.1-40-g9d9e003)