Choosing a Place for Dinner: Problem

Assume that every night Peter has dinner in one of his two favorite
restaurants.  One of them is Chinese, the other Italian.  The Italian
restaurant is closed on Mondays.  If there is choice, Peter prefers not
to go to the place where he had dinner the night before.  Where does
Peter eat on Sundays?

Formalize the given assumptions and other relevant commonsense facts
in a declarative language, so that your answer would logically follow.
If the language is implemented, check that the implementation allows you
to justify the answer automatically.