AI Project #3:  Prolog Challenges