JESS: Rule AC01 no fire

[Rich]

I have a question about the rule 'AC01' no fire, why???

;; ============
;; deftemplate
;; ============

(deftemplate input
   (slot num (default 0)))

(deftemplate block
   (slot name)
   (multislot value))

(deftemplate pattern
   (slot name))

;; =============
;; deffacts
;; =============

(deffacts initial-phase
   (phase assert-facts))

;; ========
;; defrule
;; ========

;; initial 
(defrule assert-facts
   (phase assert-facts)
   =>
   (assert (input (num 4)))
   (assert (block (name 1) (value -2 2)))
   (assert (block (name 5) (value -2 1))) 
   (assert (block (name 9) (value -2 -1)))
   (assert (block (name 13) (value -2 -2))))

;; AC01
(defrule AC01
   (input (num ?n&:(eq ?n 4)))
   (block (value $?x&:(eq (first$ $?x) -2)))
   =>
   (printout t "AC01" crlf))

(reset)
(run)

--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]'
in the BODY of a message to [EMAIL PROTECTED], NOT to the list
(use your own address!) List problems? Notify [EMAIL PROTECTED]
--------------------------------------------------------------------