Hello,
I'm sorry if the question is trivial, maybe I've miss
something in the manual..
I wonder how to write something like:
P(x) => not A(x)
in jess. The only (tricky) way I found is:
(defrule r
(declare (salience MAX_VALUE))
(P ?x)
?f <- (A ?x)
=>
(retract ?f)
)
An what about:
P(x) => A(x) or B(x)
do I have to write two rules?:
(defrule r1
P(x)
(not (A ?x))
=>
(assert (B ?x))
)
(defrule r2
P(x)
(not (B ?x))
=>
(assert (A ?x))
)
Am I wrong if I say:
the LHS can contain everything (neg, and or)
and the RHS must contain
a conjunction?
thankfully,
Francois
_________________________________________________________________________
Get Your Private, Free E-mail from MSN Hotmail at http://www.hotmail.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]
---------------------------------------------------------------------
