人工智能原理教案02章归结推理方法2.3谓词逻辑归结法基础 第2页