Re: [rules-dev] Prolog Style Backward Chaining - First Cut