A resolver for propositional logic written in haskell