finish the visitor pattern implementation of Mapping2Datalog Converter