Re: [m-users.] How to user filter_map with a nondet function
Julien Fischer <[email protected]>
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <[email protected]> |
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. _______________________________________________ users mailing list [email protected] https://lists.mercurylang.org/listinfo/users