[m-users.] A predicate taking a lists of predicates as input?

[Tomas By]

On Wed, 24 Sep 2025 18:09:19 +0200, Tomas By wrote:
> just declare everything nondet and be done with it.


Here is a complete example:

https://lists.mercurylang.org/archives/users/2021-May/009072.html

/Tomas