[m-users.] How to user filter_map with a nondet function

[Julien Fischer]

On Sun, 20 Nov 2022, Razetime wrote:

> My main question here is "how do I use a nondet predicate inside a
> semidet predicate and make it infer as semidet"? changing the mode to
> nondet and semidet both don't work, which is why i asked.

Have a look at "7.4 Interfacing nondeterministic code with the real world" in the
reference manual, which describes the various approaches to that.
(<https://mercurylang.org/information/doc-latest/mercury_ref/Determinism.html#Interfacing-nondeterministic-code-with-the-real-world>)

Julien.