Prolog implementation of classical tableaus
Hintikka's Lemma
Propositional Intuitionistic semantics
Homework