(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:
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 necessarily examine it (on other words, the paper submission should be complete, consistent and not need to refer to other material).