felix.winkelm...@bevuta.com writes:
>> '(list a123) -> `(list ,(gensym 'a123)), where the symbol a123 is the
>> name of the TV. This symbol is used to store a value in the unification
>> trail.
>
> Note that you could store the original name on the plist of the gensym,
> then deref the chain of
> '(list a123) -> `(list ,(gensym 'a123)), where the symbol a123 is the
> name of the TV. This symbol is used to store a value in the unification
> trail.
Note that you could store the original name on the plist of the gensym,
then deref the chain of gensyms/orig names when printing.
felix
__