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

Zoltan Somogyi zoltan.somogyi at runbox.com
Thu Jul 29 16:42:35 AEST 2021


2021-07-29 16:40 GMT+10:00 "Volker Wysk" <post at volker-wysk.de>:
> 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?

Yes.

Zoltan.


More information about the users mailing list