A.55 library(solution_sequences): Modify solution sequences
All
Application
Manual
Name
Summary
Help
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)
offset
(
+Count, :Goal
)
Ignore the first
Count
solutions. True if
Goal
is true and produces more than
Count
solutions. This predicate computes and ignores the first
Count
solutions.