Finished day 1 of Prolog