Hi,
I tried to use the forall in this way and it doesn't work, it's a bug or I
misunderstand how it is supposed to work ?
I have a deftemplate name goal with two slot, name and state.
My rule is :
(defrule example
?g<- (goal (name "X") (state nil))
(forall (goal (name "Y") (state sucess))
=>
(modify ?g (state sucess)
In a few words, I put the goal "X" is in state sucess if every goal "Y" are
in state sucess.
Problem is that the 'sucess' criteria seems to not considered by the forall
CE.
Thanks for help.
--------------------------------------------------------------------
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]
--------------------------------------------------------------------
