标准教科书《Prolog》银色封面设计

      编程语言Prolog发明于1972年，并迅速成为对人工智能和专家系统感兴趣的人的工具包的一部分，这些领域在1970年代得到了充分的资助，并经历了快速的增长。这本经典的教科书，出版于1981年，被广泛接受为许多Prolog课程的标准教科书，在许多大学出现。

      这本书有一个标志性的外观：金属银色的封面，标题用黄色印刷，白色的阴影效果使用丘奇沃德设计。后来的几个版本都采用了相同的设计。Prolog本身被认为是一门相当难的语言，因此这本书本身会让计算机科学专业的研究生感到恐惧，他们可以很容易地从院子的另一边找到这本独特的银色巨著，让他们回想起深夜与Prolog斗争的场景。