Did you know ... Search Documentation:
Pack dialect-ciao -- prolog/dialect/ciao/aggregates.pl
PublicShow source
 findnsols(+N, ?Template, :Generator, -List)
As findall/3, but generating at most N solutions of Generator. Thus, the length of List will not be greater than N. If N=<0, returns directly an empty list. This predicate is especially useful if Generator may have an infinite number of solutions.
- ciao
 findnsols(+N, ?Template, :Generator, -List, -Tail)
As findnsols/4, but returning in Tail the tail of List.
- ciao

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 setof(Arg1, Arg2, Arg3)
 bagof(Arg1, Arg2, Arg3)
 findall(Arg1, Arg2, Arg3)
 findall(Arg1, Arg2, Arg3, Arg4)
 Arg1 ^ Arg2