文件名称:
the-power-of-prolog:现代Prolog简介-源码
开发工具:
文件大小: 2mb
下载次数: 0
上传时间: 2021-03-21
详细说明：序言的力量
现代Prolog简介
Prolog是一种源于形式逻辑的编程语言。它支持搜索和统一作为内置功能。 Prolog使我们能够用简短的通用程序优雅地解决许多任务。
这些材料的目的是弥合过去伟大的传统Prolog教科书与目前所用语言之间的鸿沟，在这些书编写数十年之后。您将看到过去的许多限制不再适用，尽管现在任何Prolog书中都没有涉及到几个新的结构，但现在它们非常重要。
读这本书
本书是自托管的：它包括一个HTTP服务器，可让您在本地浏览大部分内容。当您访问不在本地可用的文件，它重定向到他们的在线版本。
您需要来运行它。例如，要在端口6012上生成服务器，请使用：
$ scryer-prolog -g "server(6012)" server.pl
然后，将浏览器定向到：
如果您不熟悉Prolog，请阅读这些章节，以全面了解许多重要的语言功能。如果您已经有Prolog的使用经验，并
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
相关搜索:
