day 2 prolog