wjdanalharthi/First-order-Logic-resolution

this project implements a First-order Logic resolution program. That includes a Parser, CNF and Skolemization conversions, and Unification.

Julia