limit/2

Did you know ...

Search Documentation:

Predicate limit/2

HOME
DOWNLOAD
DOCUMENTATION
- Manual
- Packages
- FAQ
- Command line
- PlDoc
- Bluffers▶
- License
- Publications
- Rev 7 Extensions
TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
  - ClioPatria
  - RDF namespaces
- Graphics▶
  - XPCE
  - GUI options
- Machine learning▶
  - Probabilistic Logic Programming
- External collections▶
  - Meta level tutorials
- For packagers▶
  - Linux packages
COMMUNITY
COMMERCIAL
WIKI
- Login
- View changes
- Sandbox
- Wiki help
- All tags

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.

Count is either infinite, making this predicate equivalent to call/1 or an integer. If Count < 1 this predicate fails immediately.