We consider the representations of metamorphosis grammar in logic grammar, more precisely in Horn predicate logic, developed in [C078] on the Colmerauer idea of defference lists. For the proofs in metamorphosis grammar in normal form the so called normal length of the proof is defined and it is shown that this length equals to the length of the corresponding proof in logic grammar.