Did you know ... Search Documentation:
Predicate prolog_skip_level/2