Consider the following knowledge base

Prove that Q is true with:

1. P Q

2. L M P

3. B L M

4. A P L

5. A B L

6. A

7. B

Forward-Chaining

Backward-Chaining

Resolution

Prove t s:

1. p q

2. [q r] s

3. [t u] r

4. u w

5. t y

6. y u

7. r p

8. p m

i. Express in clause form

ii. Forward-Chaining

iii. Backward-Chaining

iv. Resolution