Re: [eclipse-clp-users] Suspension: "constrained" does not wake on unification of ic variables

From: Ulrich Scholz <Ulrich.Scholz_at_...10...>
Date: Tue, 17 Nov 2009 13:15:45 +0100
On Tue, Nov 17, 2009 at 09:46:58AM +1100, Joachim Schimpf wrote:
> 
> The mechanism is that a suspension is only woken when it is on the bound-list
> of _both_ variables that get unified.  That doesn't mean you have to know all
> the variables in advance, you can add additional variables to the suspension
> later using insert_suspension/4:
> 
> Does that help?  

Thanks, I guess that helps.

Best regards,

Ulrich
Received on Tue Nov 17 2009 - 12:23:24 CET

This archive was generated by hypermail 2.3.0 : Thu Feb 22 2024 - 18:13:20 CET