An logic statement evaluator library written in haskell.