CPSC 425 Spring 2004
HW 7: Prolog
Webber Chapter 19 #1-21.