Hello
I'm using "logical" to specify dependencies between facts in my system. When
"logical" statement is used directly there are no problems, but when a fact
needs no existence of another fact it does not work.
There are some rules :
(defrule MAIN::R1
(logical (not (forbidden_condition ?e)))
(logical (present ?e))
=>
(assert (allowed R1 ?e)))
(defrule MAIN::R2
(logical (forbidden_condition ?e))
(logical (present ?e))
=>
(assert (forbidden R2 ?e)))
Rule R2 works fine. If (forbidden_condition E1)
is asserted and we have (present E1), (forbidden R2 E1) is asserted. When I
retract (forbidden_condition E1), (allowed R1 ?e) does not appear.
Am I missussing the "logical" statement???
Thanks.
--------------------------------------------------------------------
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]
--------------------------------------------------------------------
