Skip to content
L

LogicMachine

First order logic parser and evaluator in Haskell