lib(allsols)

   Built-ins to collect all solutions to nondeterministic goals

