explained rule interference in program structure
adjusted backward chaining implementation section
added notes