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