CatLog

CatLog: A Categorial Parser/Theorem-Prover.