It is proved that the MOL resolution principle is complete.

• 本文证明了MOL归结原理是完备的。