Committing initial version of the Variable class implementation of the unify method.
Committing initial version of the Variable class implementation of the unify method.

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