[m-users.] When is nondeterminism appropriate?
post at volker-wysk.de
Wed Feb 17 13:44:21 AEDT 2021
Am Dienstag, den 16.02.2021, 20:14 -0500 schrieb Philip White:
> Yeah, this sounds right. Maybe I'm just wishing that Mercury had some
> form of do-notation or syntactic convenience for monads and
> applicatives. I've been brainstorming about how do-notation would even
> work in a logic programming language, but I'm running into a wall. I
> haven't been able to find any literature on the subject either.
Mercury DOES have something like do-notation: state variables. See Ralph
Becket's Mercury tutorial, chapter 1.1.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 833 bytes
Desc: This is a digitally signed message part
More information about the users