Better Together: Unifying Datalog and Equality Saturation