SWI-Prolog -- offset/2

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(solution_sequences): Modify solution sequences
      - distinct/1
      - distinct/2
      - reduced/1
      - reduced/3
      - limit/2
      - offset/2
      - call_nth/2
      - order_by/2
      - group_by/4
- Packages

Availability::- use_module(library(solution_sequences)).(can be autoloaded)

offset(+Count, :Goal)

Ignore the first Count solutions. True if Goal is true and produces more than Count solutions. This predicate computes and ignores the first Count solutions.