Hello Wolfgang,
> let me check if I'm understanding your heuristics correctly. [...]
> If so, you would be unable to compute even one solution (the goal of course
> has infinitely many solutions).
The heuristics would prefer guessing unshared variables over guessing
shared variables and guessing shared variables over not guessing them.
I don't think it makes sense to suspend the top-level computation.
Sebastian
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Jun 16 2011 - 18:28:34 CEST