应用归结原理例-讲课