CPSC 425 Spring 2006
HW 19: More Prolog
Webber Chapter 19, exercises 15-18, 20.