Prolog day1