For this homework, do the following things:

1. Do exercise 7.2 in the text. Do your work on paper and then speculate on whether you could program the solution in Prolog (easily)? Explain why or why not?

2. Do exercises 8.2, 8.3 and 8.4. Write one-or-two-sentence explanations of each of your answers.

3. Use Prolog to implement the (greatly simplified) knowledge and reasoning required to infer each of the following:

   1. a wumpus in room [1,3] implies a stench in room [1,2].
   2. a stench in room [1,2] implies a wumpus in room [1,3].

   Use a propositional-logic-based specification. Also, indicate whether Prolog would support a more general solution. If so, what, if not why not?

4. Do LPN! exercise 2.4 (i.e., the crossword problem).

Final project suggestion: Consider applying Logic programming (e.g., Prolog) to some interesting problem.

Checking in

Submit the files specified above in Moodle under homework 11. We will grade your work according to the following criteria:

• 20% - Exercise 1 - Write brief but compelling answers to the given questions.
• 20% - Exercise 2 - Write brief but compelling answers to the given questions.
• 60% - Exercises 3 & 4 - Build correct, efficient and understandable code that solves the given problems.