可在线搜索的 Prolog 语言描述 [关闭]答案

【问题标题】：A searchable Prolog language description online [closed]可在线搜索的 Prolog 语言描述 [关闭]
【发布时间】：2012-06-06 12:22:58
【问题描述】：

是否有在线提供 Prolog 语言（语法和语义）的描述？

有很多实现参考手册。但这些都不是语言描述。例如 SWI Prolog 手册states

本手册没有描述 Prolog 的完整语法和语义。

和refers 来一套纸质书，出版于十九世纪八十年代。以及为了钱而“应该从我国的 ISO 代表处获得”的 ISO 标准的胡言乱语。

【问题讨论】：

您可以查看 GNU Prolog 手册，可能存在一些实现差异，但 GNU Prolog 也符合 ISO 标准：gprolog.org/manual/gprolog.html
这只是另一个实施手册。它是否指定了八进制整数的表示法？它是否讨论了诸如什么是空格以及空格是强制性的等细节？行尾的反斜杠有什么作用？等
Googlng Prolog 语法打开了这个：sics.se/sicstus/docs/3.7.1/html/sicstus_45.html
@HunterMcMillen：此文档不再是最新的。您指的是 SICStus 的第 3 版。 Here is the current version of it, much closer to ISO
整章“4 Prolog 语言”似乎非常相关。（取模这一事实可能会转向有利于 sicstus）。

【解决方案1】：

ISO 标准以非常低的价格（目前 30 60 美元）from the ANSI webstore 作为 INCITS 文档提供。在那里，您还可以免费获得两个勘误表。所有当前文档请参见iso-prolog tag info。这是一个综合的overview of all built-in predicates，其中包括 Cor.1 和 Cor.2。

如果您想要打印输出版本，最好还是自己在 INCITS 文档上方打印，同时注意缺少第 10 页（故意留白的页面）——否则左侧会出现奇数页。该文档是 A4 扫描文件，每页两列。非正式的附件 A 在单独的绑定中会更好。相反，添加两个更正！

或者，SAI 销售硬拷贝。

【讨论】：

30 美元绝对比 238 瑞士法郎好。
@WouterBeek：你会对这个答案感兴趣。或者，您可以从您的国家成员机构获得所有文件。 Here is Cor.2.
@false 感谢您向我们指出这些文件！太糟糕了，这个问题被认为是题外话。新一代的 Web 和开源程序员不习惯从标准机构购买这类资源，但他们绝对应该这样做。这些文档包含大量信息。
@WouterBeek：请注意，W3C 或 The Open Group 等许多组织都是 ISO/IEC JTC1 批准的 PAS 提交者。所以他们正在准备文件，但 ISO 会发布它们。因此，同样的程序也适用于获得这些标准。