prolog - 可在线搜索的 Prolog 语言描述

Question

关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。












想改进这个问题？将问题更新为 on-topic对于堆栈溢出。

7年前关闭。




Improve this question




是否有在线可用的 Prolog 语言(语法和语义)的描述？

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

This manual does not describe the full syntax and semantics of Prolog.

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

Answer 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 在单独的绑定(bind)中会更好。相反，添加两个更正!

或者，SAI卖硬拷贝。