消解(归结)原理.