A.44 library(solution_sequences): Modify solution sequences
AllApplicationManualNameSummaryHelp

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.
ClioPatria (version V3.1.1-40-g9d9e003)