Sergio Antoy wrote:
> Given the following program:
>
> test = 1+x ? zero x where x free
> zero 0 = 0
>
> what should the evaluation of test produce?
>From the current language definition,
the evaluation has two nondeterministic branches,
one (1+x) suspends and one (zero x) evaluates to 0.
In a fair implementation, you good a suspended evaluation
and 0, in an unfair (based on backtracking like PAKCS),
it suspends. If you switch the order of expressions,
you'd first get 0 and then a suspension.
Best regards,
Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Okt 25 2007 - 09:33:13 CEST