SWI-Prolog -- call

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)

call_nth(:Goal, ?Nth)

True when Goal succeeded for the Nth time. If Nth is bound on entry, the predicate succeeds deterministically if there are at least Nth solutions for Goal.