Re: [eclipse-users] term_string

From: Malcolm Ryan <malcolmr_at_cse.unsw.edu.au>
Date: Mon, 3 Sep 2007 13:36:25 +1000
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"
Received on Mon Sep 03 2007 - 04:37:53 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET