Number equality test fails in CLIPS pattern matching?

Question

I have this following rule in my CLIPS file:

(defrule check-final (declare (salience 12))
    ?scnt <- (set-count (value ?v) (class ?c))
    (test (= ?v ?*tot         


        

Answer 1

Found part of the problem: I'm using the global ?*total* and according to the CLIPS Manual

Global variables can be accessed as part of the pattern‑matching process, but changing them does not invoke the pattern‑matching process.

But this does not explain the equality test failure