[m-users.] Just saying thank you, determinism rocks.

Volker Wysk post at volker-wysk.de
Thu Jul 29 16:40:58 AEST 2021


Am Mittwoch, den 28.07.2021, 20:42 +1000 schrieb Zoltan Somogyi:
> 2. You can quantify away all the output variables of a cc_multi
>     or cc_nondet computation. The different solutions of such
>     computations differ only in the values of its output variables,
>     so if you ignore all of them, the solutions are indistinguishable
>     from the point of the caller. A cc_multi computation whose
>     outputs are quantified away is det, while a cc_nondet computation
>     with outputs quantified away is semidet.

I don't know what you mean by "quantify away". Is it using "_" for the
output variables?

Regards,
Volker


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://lists.mercurylang.org/archives/users/attachments/20210729/295f423b/attachment.sig>


More information about the users mailing list