L

LogicMachine

First order logic parser and evaluator in Haskell