[CL] PS about rewrite rules
John F. Sowa
sowa at bestweb.net
Tue Nov 8 18:35:59 CST 2005
And I'm also using the good old gensym()
function, which is guaranteed to generate
a new name each time it is invoked (so it
is not really a function).
I need it to generate names that are guaranteed
to be different from any other names in the
current text. In pure graphs, names are not
used to show connections, but they are needed
to translate CGs to linear forms (including
CGIF, which is linear).
More information about the CL