Re: [rules-dev] backward chaining