PROLOG EXERCISE SEPTEMBER 18 2006

This is based on family1.pro on the course site.

1. Formulate and run in PROLOG the following questions about the parent 
   relationship.
   a. Who is pat's parent?
   b. Does liz have a child?
   c. Who is pat's grandparent?

2. Hand trace and check on the comgputer how PROLOG derives answers to
   a. parent(pam, bob).
   b. grandparent(pam, ann).
   c. grandparent(pam, bob).

3. Define the aunt, nephew, and granddaughter relationships. Hand trace 
   and then check on the computer
   a. aunt(X, liz)
   b. aunt(liz, X).
   c. aunt(X, Y).
   d. nephew(jim, X).
   e. granddaughter(X, tom).

4. Construct any interesting family relationship and check to see if it 
   produces the results you expect.

5. Optional: replace the data with your family and see if you still get
   the results you expect.