Can someone help me understand how backquote works? I shake with fear every time I use it. Part of my confusion is that it behaves subtly different from the backquote in Common Lisp which obviously inspired it.
For example, what is the different between the following two expressions.
(bdd-canonicalize `(~'and :sigma (~'not (~'or [email protected]))))
(bdd-canonicalize `(and :sigma (not (or [email protected]))))
In Common Lisp there would be no difference between the two expressions, of course in CL we use a
, rather than
~ in all cases.