Re: [rules-dev] backward-chaining