A.56 library(solution_sequences): Modify solution sequences
All Application Manual Name SummaryHelp

Availability::- use_module(library(solution_sequences)).(can be autoloaded)
Sourcelimit(+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.