Add Prolog day 3.