Prolog: new explanation of backward chaining
Prolog: more details