__(Recall assignment 0 will
not be marked. This assignment will be.)__

Work is to be done independently. Please see the policy on due dates, cheating and inappropriate collaboration accessible via the class web page.

Required software available via the class web page.

Pedagogical objectives of this assignment:

- Illustrate the use of predicate calculus in problem representation.
- Illustrate the use of logic-based representation of problem representation and solution.
- Motivate the use of PROLOG illustrating logic-based problem solving, and the decoupling of the representation and the algorithm.
- Illustrate the notion of a problem state space to serve as an introduction to search.

**Q. 10.3 (a) thru (d) in the text [R&N]**

**Q. 10.5 in the text [R&N]**

Write a PROLOG program to prove that a solution exists. A consequence of the proof process will be a specific solution.

Submit a complete assignment, including example output, on paper. Your written responses should be typed.

Submit your program electronically using the "handin" program. We may use it to verify your solution. Do not assume, however, that we will

necessarilyexamine it (on other words, the paper submission should be complete, consistent and not need to refer to other material).