Indeed, the rule doesn't seem to compile correctly; the two ?x's are
not merged.
Jess> (ppdefrule r)
"(defrule MAIN::r
(initial-fact)
(not ?x <- (and ?x <- (a ?_021__blank_2) (not (b ?_0022_x))))
=>
(printout t \"sure thing!\" crlf))"
On Jul 20, 2010, at 4:04 PM, Henrique Lopes Cardoso wrote:
Actually, asserts do work, because (deffacts) are added to working
memory by a call to (reset). This is wy I am calling (facts) before
(run), to make sure facts are in working memory as intended.
Anyway, I tried (assert)ing them one by one and it still does not work
as expected.
It must be something else.
Henrique
---------------------------------------------------------
Ernest Friedman-Hill
Informatics & Decision Sciences, Sandia National Laboratories
PO Box 969, MS 9012, Livermore, CA 94550
http://www.jessrules.com
--------------------------------------------------------------------
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].
--------------------------------------------------------------------
