作者前言：

• 读者对象：面向人工智能研究人员或从业者、逻辑编程研究人员或从业者以及两个领域的学生，旨在展示从中间立场处理主题能获得的成果。
• 呈现风格：通过示例呈现智能推理技术，每个技术都有一个 Prolog 程序实现，程序用于教学目的，重点在于解决问题的方法，同时也有理论背景介绍，但不做百科式涵盖。
• 给教师的建议：可作为人工智能或计算逻辑的研究生或高级本科生课程教材，可搭配其他相关书籍使用。
• 内容范围：分为三部分，第一部分介绍逻辑和逻辑编程的必要材料，第二部分从逻辑编程视角转向人工智能观点，讨论图形和搜索，第三部分是高级和新的内容，包括自然语言解析、不完全信息推理和归纳逻辑编程等。

书籍各部分内容：

• 第一部分：介绍逻辑编程的主要概念，如程序子句、查询回答、证明树和递归数据结构等，以吸引学生直觉；以更严谨的方式处理子句逻辑中的归结定理证明，包括 Herbrand 模型、归结反驳等概念；讨论 Prolog 编程的实践方面，如 SLD 树、算术表达式处理、二阶谓词等。
• 第二部分：从逻辑编程视角转向人工智能观点，讨论图形和搜索，包括图的表示（如术语表示的树和谓词表示的搜索空间）、继承层次结构的表示，以及深度优先搜索、广度优先搜索、最佳优先搜索等基本技术。
• 第三部分：包括自然语言解析和解释、不完全信息推理（默认推理、不完全信息语义、归纳推理等）等高级内容，涵盖归纳逻辑编程的前沿材料，还附有 Prolog 内置谓词概述、实用谓词库等附录以及部分习题答案和索引。