Логика в Прологе

Как я могу выразить следующие 3 предложения на Прологе?

All summers are warm. If it not summer, then it is winter. Now it is winter.