CS 3304 Spring 2000 Homework Assignment 4

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).

copyright © 2000 Virginia Tech, ALL RIGHTS RESERVED
Last modified: August 11, 2000, 15:51:21 EDT, by Stephen Edwards <edwards@cs.vt.edu>