I think Markus Reis wrote: [Charset iso-8859-1 unsupported, filtering to ASCII...] > dear all, > > > i would like to know if one can define a rule which stops the inference > process (firing all rules), when a certain fact is added to the kb > > e.g.: (deftemplate result (slot var1) (slot var2)) > a rule, that fires, has (result (var1 1) (var2 2)) on its RHS > > can one define a rule that stops the inference process, when the first > fact of 'template'/'type' result is added to the kb (e.g. by the above rule) > > > i would need this 'stop', because i only need one valid result and it is > not necessary to wait until all results are computed
I'm not 100% sure what you're after; Maxim's suggestion to use "halt" may be it, but I thought it was also possible that you meant a rule should fire only once even if several facts match a pattern. If it's this latter case, you can use the "exists" conditional element (described in chapter 2 of the manual.) --------------------------------------------------------- Ernest Friedman-Hill Science and Engineering PSEs 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] --------------------------------------------------------------------
