Re: Global lexical variables?

On Oct 30, 10:11 pm, t...@xxxxxxxxxxxxx (Thomas A. Russ) wrote:
Well, that certainly should count.
But where is this definition in relation to the REFUTE function, since
that is where CLISP was complaining in your earlier post.

Turns out it was later than the function definition, rearranging them
fixed it. Thanks!

Oh, and by the way, it would be good for you to adopt the special
variable naming convention.  It makes the meaning clearer:

(defvar *clauses-table* ...)

Yeah, maybe you're right.
.