The language of FOPL includes the following :
* A set of variables
* A set of function symbols
* A set of constant symbols
* A set of predicate symbols
* A special binary relation of equality
* The Universal Quantifier and Existential Quantifier
* The logical connective
