add backward chaining example docs
(cherry picked from commit f9efe003f9ba9c0f6deb8f18390ff822ff3e8827)