add backward chaining example docs