Hi..prolog is actually logic, like if a then b, if not b then c. Backward chaining is a technic that start from the goal/result or simply from the back, which is the kitchen, bathroom etc. From there you tried to prove whether it is true or not the leak is in the kitchen. Read a prolog book...