Re: [eclipse-users] term_string

On 27/08/2007, at 3:41 PM, Kish Shen wrote:

> Yes, you can use lib(var_name), and specifically the predicates  
> set_var_name/2,3. For your example,
> you can set the names with:
>
> :- lib(var_name).
> ....
>     set_var_name(Variables, 'V', 1),
>     .....
>
> this would number the variables inside Variables as V#1, V#2, ... etc.
>

Thanks. It seems the the syntax is actually:

set_var_name_counter('V', 1), set_var_name(Variables, 'V').

Malcolms

--
"Our age is not willing to stop with faith,
     with its miracle of turning water into wine,
         it goes further, it turns wine into water."
             -- Soren Kierkegaard, "Fear and Trembling"