[m-rev.] for review: add nondet_member/2

[Zoltan Somogyi]

On Mon, 3 Mar 2025 15:21:52 +1100, Julien Fischer <jfischer at opturion.com> wrote:
>  ### Changes to the `set_unordlist` module
> 
> +* We have changed the behaviour of the `(out, in) is nondet` mode of the
> +  predicate `member/2` so that it does not return duplicates on backtracking.

I would say: "... so that it does not return any element of the set more than once".
(The original could be misread to imply that if the unordlist contains an element more
than once, i.e. it is a duplicate, it does not get returned AT ALL.)

The rest of the diff is fine.

Zoltan.