atp-haskell

Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"