[eclipse-users] How to remember last variable value and then choose in search

Hi

If anyone could help me it would be much appreciated. 

I'm solving a problem repeatedly using Ic. I'd like to
 remember the previous solution, and then write a
'choice' predicate I can pass to search that begins by
choosing the value from the previous solution.
Hopefully that will speed things up.

Not sure how to do this. After the search has
completed, the program backtracks, uninstantiating the
solution variables, before applying a new constraint
and re-solving. So I suppose I need to save the result
in nonlogical storage, but how to look up the value
when all the choice predicate gets given is the
variable?

thanks,
Dan

____________________________
Daniel Lucraft
Imperial College London