Explore projects

This is a implementation of first order predicate logic statement evaluator.