30 Points
Due: 2/17/00 at the start of class
Complete each of the following problems in the Chapter 15 Problem Set
(pp. 638-639 of the text):
- Problem 3
- Problem 4
- Test your results for the two questions above by loading your
definitions into a Prolog interpreter (you may use SWI-Prolog,
for example). Show the output produced by the interpreter
for the following goal (where your_name is the atom you
have used to identify yourself):
grandfather(X, your_name), grandmother(Y, your_name).