SWI-Prolog -- limit/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)

Source

limit(+Count, :Goal)

Limit the number of solutions. True if Goal is true, returning at most Count solutions. Solutions are returned as soon as they become available.