第2章问题求解的基本方法-基于谓词逻辑的机器推理