逻辑编程入门：英文原版Prolog教程

《Learn Prolog Now!》是一本介绍Prolog逻辑程序设计语言的英文原版教材，由Patrick Blackburn、Johan Bos和Kristina Striegnitz共同编写，版权日期为2001年。该教材的目的是帮助读者理解和掌握Prolog的基本概念和编程技巧。全书共分三个主要部分：事实、规则和查询；匹配与证明搜索；以及递归。 **第一部分：事实、规则和查询** - 1.1 起始章节介绍了一些简单的例子，包括五个知识库（KB1到KB5），通过这些实例展示了如何构建和理解Prolog中的基础知识，如事实（如描述人物关系）、规则（定义规则以推导新信息）和查询（提问来获取答案）。 - 1.2 Prolog的语法是学习的重点，涉及原子（如名词或形容词）、数字、变量（用于表示未知值）和复杂的术语（组合不同元素的结构）。 - 1.3 这一部分提供练习题，让学生在实践中巩固所学，同时安排了第一个实践环节，旨在应用所学知识解决实际问题。 **第二部分：匹配与证明搜索** - 2.1 匹配是指程序尝试找到规则中变量的合适值以满足某个目标的过程。通过具体例子和发生检查机制（防止无限循环）来讲解这一概念。 - 2.2 证明搜索是Prolog的核心机制，通过推理机制寻找解决方案，这部分介绍了如何编写和理解证明过程。 - 2.3 提供了进一步的练习题，以及第二个实践环节，让学生运用匹配和证明搜索技术。 **第三部分：递归** - 3.1 递归在Prolog中扮演重要角色，章节中通过三个实例（吃饭问题、子孙关系和递归函数）来展示递归定义的用法。 - 3.2 探讨了词法和语义顺序对递归过程的影响，以及如何确保程序的终止性，防止无限循环。 - 3.3 结束本部分的是关于递归相关练习题，以及第三个实践环节，让读者深化对递归的理解。 《Learn Prolog Now!》教材适合那些想要系统学习Prolog语言并应用于逻辑推理和自动化解决问题的读者。它不仅涵盖了基本理论，还通过实例和实践活动帮助读者逐步掌握Prolog的精髓。对于希望进入AI领域或者从事人工智能项目开发的人来说，这本书是不可或缺的参考资料。