The "fact-slot-value" function. I think Skeptic 2000 wrote: [Charset iso-8859-1 unsupported, filtering to ASCII...] > > Thanks, > > Another one, if I have a fact in a variable like the goal in the last > example in variable ?g. > > If I use this variable as a function paramater, in the function how I can > get access to its slot values ? > > In a Java user function I can use the .getSlotValue, but in a Jess user > function, how I can do it ? > > (For example, let say I would like to do my (modify ?g (state sucess)) in a > user function) > > Thanks again. > > > >From: [EMAIL PROTECTED] > >Reply-To: [email protected] > >To: [email protected] > >Subject: Re: JESS: forall > >Date: Sat, 22 Apr 2006 12:50:31 -0700 (PDT) > > > > > >The "forall" CE > > > >(forall (A) (B)) > > > >says that for every A, B matches. For example > > > >;; Everyone owns a dog > >(forall (person (name ?n)) (dog (owner ?n))) > > > >You're saying something different: given a goal X in state nil, if > >every goal Y is in state success, then modify goal X. You could write > >something like > > > >; Given goal X > >?g<- (goal (name "X") (state nil)) > >;; There's at least one goal "Y" > >(exists (goal (name "Y"))) > >;; All goals "Y" are in state success > >(not (goal (name "Y") (state ~success))) > > > >If there's always a goal "Y", you can omit the middle pattern. > > > > > >I think Skeptic 2000 wrote: > >[Charset iso-8859-1 unsupported, filtering to ASCII...] > > > > > > 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] > > > -------------------------------------------------------------------- > > > > > > > > > > >--------------------------------------------------------- > >Ernest Friedman-Hill > >Advanced Software Research Phone: (925) 294-2154 > >Sandia National Labs FAX: (925) 294-2234 > >PO Box 969, MS 9012 [EMAIL PROTECTED] > >Livermore, CA 94550 http://herzberg.ca.sandia.gov > > > >-------------------------------------------------------------------- > >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] > >-------------------------------------------------------------------- > > > > -------------------------------------------------------------------- > 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] > -------------------------------------------------------------------- >
--------------------------------------------------------- Ernest Friedman-Hill Advanced Software Research Phone: (925) 294-2154 Sandia National Labs FAX: (925) 294-2234 PO Box 969, MS 9012 [EMAIL PROTECTED] Livermore, CA 94550 http://herzberg.ca.sandia.gov -------------------------------------------------------------------- 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] --------------------------------------------------------------------
