Project 1 for CS 396 at NAU. Implemented in Prolog.