Added query
Added some comments/changes
Added small example to figure out variable binding

In backward-chaining
Added ModusPonensRule