Maltsev + Datalog –$>$ Symmetric Datalog