P

predlog

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