[ai] backward chaining
[ct] homework week 12