This project will provide experience dealing with logic, recursion, lists, and other features in Prolog.