Re: Random labeling options for CLPFD

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Thu, 05 Nov 2015 14:04:00 +0100

On 11/05/2015 07:11 AM, lausgans_at_gmail.com wrote:
>
>> 4 нояб. 2015 г., в 18:48, Michael Hanus =
<mh_at_informatik.uni-kiel.de> написал(Ð=
°):
>>
>> Hi Alex,
>>
>> it is no problem to add this extension to the next release of PAKCS.
>> There is the disadvantage that this does not work with SICStus Prolog,=

>> but at least you get a reasonable error message from the Prolog system=
.
>>
>> Best regards,
>>
>> Michael
>
> Could you please also add random_value(Seed) in a same way?

Sure, I could do it, but since it is an undocumented feature,
please could you explain the difference between random_value
and random_variable (in order to put the right documentation
comment into the library)?

Best regards,

Michael







_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry



Received on Do Nov 05 2015 - 14:11:52 CET