> you are overestimating my skills. A suitable person should be
> familiar with lisp and with the theory of logical inference.
Well... you could learn....
> By the way, it seems, that line
>
> [v, ev(v), v: 'vv2, v, ev(v)] => [vv1, vvv1, vv2, vv2, vvv2]
>
> from your message on Date: Fri, 18 Jul 2003 22:45:51 -0400
>
> should look like this
>
> [v, ev(v), v: 'vv2, v, ev(v)] => [vv1, vvv1, vv2, vv2, vv2]
>
> Am I right?
No.
Recall that v: 'vv1$ vv1: 'vvv1$ vv2: 'vvv2$
The value of a list is the value of its elements, evaluated left to
right. Any side effects that happen during that evaluation affect later
evaluations.
The value of v is clearly vv1.
The value of ev(v) is the value of the value of v, namely vvv1.
Then we set v to a new value, vv2.
Now the value of v is vv2.
And the value of the value of v is vvv2.
-s