Re: residuation for compositional search?

From: Sebastian Fischer <sebf_at_informatik.uni-kiel.de>
Date: Thu, 16 Jun 2011 13:32:54 +0200

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 Thu Jun 16 2011 - 18:28:34 CEST

This archive was generated by hypermail 2.3.0 : Mon Nov 18 2019 - 07:15:08 CET