Day two of Prolog completed.