Flat algebras and the translation of universal Horn logic to equational logic