图书浏览

审核人：约翰·M·阿尔茨

Prolog（逻辑编程的缩写）于20世纪70年代初首次引入，正迅速成为各种人工智能应用程序中最流行的语言之一，包括专家系统、专家数据库和自然语言处理。它与第三代命令式编程语言有很大的不同，许多面向过程的程序员在最初掌握它的概念时有一些困难。然而，许多人坚持下来，因为Prolog是一种令人兴奋且有趣的语言，它对经验丰富的Prolog程序员和学生来说都具有挑战性和回报性。这篇综述中涵盖的五本书阐述了Prolog的各个方面，从逻辑编程基础到高级编码技术和应用。其中一些书是经典之作，应该包含在任何受人尊敬的图书馆中，而另一些则更具体地针对应用程序或实现。科瓦尔斯基的书讲述了逻辑编程，Prolog是其中的一个实现。Clocksin和Mellish提供了事实上是Prolog标准，而Sterling和Shapiro则展示了该语言在高级编程技术方面的深度。Marcus和Walker等人展示了Prolog如何应用于从专家系统到动态数据库的各种应用程序；两者都提供了丰富的编码示例。科瓦尔斯基这是一本普及逻辑编程的书。这是一部令人印象深刻的作品，它将清晰、简单、深入和完整结合在一起，为读者带来了逻辑编程的经典入门。然而，简单是有欺骗性的，正如伟大作品中经常出现的情况。这是一本需要反复阅读的书，每次都会发现逻辑编程的强大功能和精妙之处。以下书籍中的大多数主题都是在本卷中首次介绍的，而且通常会更加巧妙。这本书可以作为人工智能入门课的教科书，也可以由希望了解更多Prolog各种用法的Prolog程序员使用。它的多功能性、可读性和主题覆盖面使其成为经典——任何Prolog、AI或数据库集合的必要组件。Clocksin和Mellish这本书有助于普及Prolog，它使广大读者都能阅读它，并设置了一个语言的事实标准。许多Prolog口译员的广告都声称“C&M标准”是指本书建立的标准语法。除此之外，它还是关于Prolog语言的最好的入门书籍之一，也是Prolog编程入门课程的优秀教材。对于一个试图自学这门语言的人来说，也许一本更受欢迎的平装书可以提供一个更温和的介绍。然而，这本书也是一本经典之作，应该是任何认真的Prolog程序员都能轻易获得的。Clocksin和Mellish对Prolog的意义就像Kernighan和Ritchie[1]对C的意义一样。其他作者可能可以从不同的角度来软化引言，但这本书是，而且可能永远是标准的。[ 编辑注：本书第三版于1987年出版，现已发行。]斯特林和夏皮罗正如书名所说，这本书提供了一系列先进的编程技术，到目前为止，“Prolog社区以外的人基本上无法访问这些技术。”这本书提供了Prolog的理论发展和丰富的真正先进的编程技术。这不是介绍性文本。它可以很容易地作为Prolog编程高级研究生课程的课文。这不是那种你拿起书，从头读到尾的书。然而，对于那些使用Prolog开发复杂应用程序系统的人来说，它应该放在手边。提供了大量的编码示例，还有许多不平凡的练习。书的后面没有解决方案，我毫不羞愧地承认我本可以使用它们。每一章最后都有一个名为背景的部分，为本章讨论的主题提供一些历史和其他来源。本节经常将章节置于上下文中，让读者知道在哪里可以找到有关主题的更多信息。马库斯虽然这本书广受关注，但它对使用Arity Prolog的程序员来说是最有价值的。它侧重于数据库、专家系统和自然语言处理的定语从句语法。解释很清楚，并且提供了有用的插图来帮助传达复杂的概念。提供了许多编码示例。其中一些信息是Arity Prolog的语法和实现模型所特有的。除此之外，这本书对Prolog的一些应用提供了有趣的见解。Walker等人。对于对IBM Prolog环境感兴趣的Prolog程序员来说，这本书介绍了产品线，并提供了许多关于Prolog编程技术、知识表示和自然语言处理的通用信息。它还介绍了IBM的三段论专家系统外壳SYLLOG，它本身就很有趣。这本书比马库斯的书更深，也更难阅读。它在许多地方也是特定于产品的，这降低了它作为通用文本的价值。比较本次审查的目的不是从五项中选出最好的一项。所有这些书本身都很优秀。它们解决了Prolog的不同方面、不同的应用程序以及在某些情况下的不同实现。一般来说，Clocksin和Mellish是任何学习Prolog并打算用这种语言编程的人都必须学习的。科瓦尔斯基对任何想深入研究逻辑编程的人都很有用。对于高级编程技术，Sterling和Shapiro提供了一个优秀的文本，其中充满了许多有用的示例。这三个是或将是经典之作，应该包含在每个Prolog库中。Marcus更面向应用程序，更适合应用程序程序员，尤其是使用Arity Prolog的程序员。类似地，Walker等人更面向应用程序，更适合使用IBM Prolog产品线的开发人员。