Updated the Function class to map between Terms (as opposed to Symbols)
Updated the Function class to map between Terms (as opposed to Symbols)
chamakits/Java-FOPL,chamakits/Java-FOPL,recardona/Java-FOPL,recardona/Java-FOPL