Re: [eclipse-clp-users] Customized Search

Bogdan Tanasa wrote:
> Hi,
> 
>  
> 
> I have an array of Boolean variables x_1, x_2, …, x_n and the following
> relation:
> 
>  
> 
> x_i = y(x_1, …, x_i-1) * z + (1 – y) * x_i.
> 
> I my code I am invoking search / 6 on the x variables but I get a wrong
> behavior.
> 
>  
> 
> y is a Boolean function of the previous i – 1 variables while z is an
> Boolean function which depends on completely other variables then x.
> 
>  
> 
> The recursive relation should work like this:
> 
> If y is 1 then x_i have to take the value of z and if y is 0 then x_i
> should be instantiated by a search predicate.
> 
> In other words if y is 1 the search procedure does not have to change
> the value of x_i.
> 
>  
> 
> I was expecting that x_i #= y(x_1, …, x_i-1) * z + (1 – y) * x_i will do
> trick but it doesn’t.
> 
>  
> 
> Can you please help with some ideas ?

Hi Bogdan,

If I understand your notation correctly, what you want
(in ECLiPSe lib(ic) syntax) is, for all I:

    ( ...some expression involving X[1] to X[I-1]... ) => (X[I] #= Z)


-- Joachim