文件名称：the-power-of-prolog:现代Prolog简介
文件大小：2.02MB
文件格式：ZIP
更新时间：2024-04-10 10:38:46
book prolog constraints logic-programming teaching-materials
序言的力量 现代Prolog简介 Prolog是一种源于形式逻辑的编程语言。它支持搜索和统一作为内置功能。 Prolog使我们能够用简短的通用程序优雅地解决许多任务。 这些材料的目的是弥合过去伟大的传统Prolog教科书与目前所用语言之间的鸿沟，在这些书编写数十年之后。您将看到过去的许多限制不再适用，尽管现在任何Prolog书中都没有涉及到几个新的结构，但现在它们非常重要。 读这本书 本书是自托管的：它包括一个HTTP服务器，可让您在本地浏览大部分内容。当您访问不在本地可用的文件，它重定向到他们的在线版本。 您需要来运行它。例如，要在端口6012上生成服务器，请使用： $ scryer-prolog -g "server(6012)" server.pl 然后，将浏览器定向到： 如果您不熟悉Prolog，请阅读这些章节，以全面了解许多重要的语言功能。如果您已经有Prolog的使用经验，并