The Formula class is the base class for all FOPL Formulas (and is the parent of the Predicate class).
The Formula class is the base class for all FOPL Formulas (and is the parent of the Predicate class).

recardona/Java-FOPL,chamakits/Java-FOPL,recardona/Java-FOPL,chamakits/Java-FOPL