L

LogiC

First order logic parser and evaluator in C