Add day one of Prolog exercises.