Re: residuation for compositional search?

From: Sebastian Fischer <>
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.

curry mailing list
Received on Do Jun 16 2011 - 18:28:34 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:11 CEST