I think Jeroen Moorman wrote: > At 05:13 18-7-02 -0700, you wrote: > >I think Jeroen Moorman wrote: > > > My question is: why will both get-A and get-A2 fire when the > > "needed"-lines > > > are removed? Is this because they both are applicable at the same time > > > during the inference process? > > > >You should be able to answer your own question by running your program > >after executing (watch all); > > Partly. > Apparently need-A will still be available after a value is assigned to A. > Is there a way to retract the need-A fact? (Or stop the backchaining on it). >
You can certainly bind it to a variable on the LHS of the get-A rule, then retract it yourself on the RHS. I recall, dimly, that when I first implemented BC in Jess, the need-A facts would be automatically retracted, but that turned out to be bad for a reason that I can't remember right now. Anybody? > Greetz, > Jeroen > --------------------------------------------------------- Ernest Friedman-Hill Distributed Systems Research Phone: (925) 294-2154 Sandia National Labs FAX: (925) 294-2234 Org. 8920, MS 9012 [EMAIL PROTECTED] PO Box 969 http://herzberg.ca.sandia.gov Livermore, CA 94550 -------------------------------------------------------------------- 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] --------------------------------------------------------------------
