- 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.
- Compatibility
- - ciao
- findnsols(+N, ?Template, :Generator, -List, -Tail)
- As findnsols/4, but returning in Tail the tail of List.
- Compatibility
- - 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
