Using Reified Constraints

[Luis Quesada]

rmk216 wrote:
> I see, so the search procedure makes sure that it doesn't preform any
> bindings to variables outside it's scope. 

This is thanks to the fact that search engines are defined in terms of 
of Spaces. Spaces are actually the ones that encapsulate the computation.

That's a good thing to know.
> 
> Thanks again Luis,

You are welcome!

Cheers,
Luis