Computer Science - Prolog Project