“序曲的艺术”(1994)

这本新版的“序的艺术”包含了许多重要的变化。每章末尾的大部分背景部分都进行了更新，以考虑到最近的重要研究成果，参考资料得到了极大的扩展，并增加了更多已成功用于本课程教学的高级练习。

第二部分，即PROLOG语言，为了与新的PROLOG标准兼容而进行了修改，关于程序开发的章节也有了很大的改变：定义的谓词被移到了更合适的章节，关于效率的章节被移到了相当广泛的关于删减和否定的章节，并且增加了一个关于逐步增强的新章节-一种构造由Leon Sterling开发的PROLOG程序的系统方法。除了第三部分“高级序言编程技术”中的一个章节之外，所有的章节都有了实质性的改变，并进行了一些重大的重新安排。关于解释器的新一章描述了一种用于专家系统的规则语言和解释器，它更好地说明了如何使用PROLOG来构造专家系统。关于程序转换的章节是全新的，关于逻辑语法的章节增加了识别简单语言的新材料，展示了语法如何应用于更多的计算机科学示例。