Prolog入门：逻辑编程原理与实践

"本书通过Prolog介绍逻辑编程，作者Michael Spivey，1996年出版。全书分为四个部分，逐步深入介绍逻辑编程的理论、应用和实现。" 第一部分（第1至3章）是逻辑编程基础，引导读者理解如何通过定义关系来编写程序，以及如何组合关系定义新的关系，还涉及数据和程序中的递归概念。这一部分主要通过实例解释，初步探讨了许多主题，为后续章节打下基础。 第二部分（第4至8章）深化了“逻辑”主题，介绍了逻辑程序的语义，并构建了基于SLD-解决的推理系统，这是Prolog实现的逻辑基础。这部分较为数学化，涵盖了数学逻辑的标准理论，包括证明霍恩子句逻辑的各种推理系统在语义上是完备的。 第三部分（第9至13章）转向实践性话题，如如何用Prolog解决图搜索问题，以及逻辑编程在词法分析、代数简化和硬件电路模拟等领域的应用。 第四部分（第14至18章）是关于SLD-解决的机器高效实现，使用Prolog实现的传统技术进行讲解。这部分描述了一个Prolog子集的实际解释器的工作原理，并在附录C中提供了完整源代码。书中通过数据表示的逐步精炼来呈现这一内容，从使用抽象数据类型（如序列、项和替换）的深度优先搜索简单实现开始，逐步解释如何使用机器提供的具体数据类型来实现这些抽象数据类型。 这本书不仅适合初学者理解逻辑编程的基本概念，也对已经熟悉Prolog的读者提供了深入到实现层面的见解，是学习和理解Prolog及其逻辑基础的理想资源。通过阅读，读者将能够掌握如何利用Prolog解决实际问题，并理解其背后的逻辑推理机制。