Wolfgang Lux wrote:
> Sorry to disagree; the fact whether you get a suspended result
> and 0 has nothing to do with fairness, it is simply a matter
> of (proper) handling of deadlocks. In fact, MCC, which uses
> backtracking like PAKCS at the top-level, reports a suspension
> first and then computes the result 0.
Ok, this depends on the notion of fairness.
PAKCS is unfair in the sense that some "strange" computation
(infinite loop or suspension) can inhibit the computation
of solutions in other branches. The same is true for
run-time errors like in the expression
div 1 0 ? 0
where the result 0 is not printed.
How does MCC behave for this expression?
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 - 13:05:30 CEST