logic-classes (hackage): Framework for propositional and first order logic, theorem proving
Keywords: bsd3|library|logic|theorem-provers