Modal Logic in Prolog Flashcards