是否有在线可用的 Prolog 语言（语法和语义）的描述？
有很多实现参考手册。但这些都不是语言描述。例如 SWI Prolog 手册状态
本手册没有描述 Prolog 的完整语法和语义。
又指一套印在纸上的书籍，出版于十九世纪八十年代。而对于 ISO 标准，这是为了钱和“应该从我国的 ISO 代表处获得”的胡言乱语。
问问题
458 次
1 回答
5
ISO 标准可从 ANSI 网上商店以非常低的价格（目前为30 60 美元）作为 INCITS 文档获得。在那里，您还可以免费获得两个勘误表。查看所有当前文档的iso-prolog 标签信息。这是对所有内置谓词的全面概述，包括 Cor.1 和 Cor.2。
如果您想要打印输出版本，最好还是自己打印在 INCITS 文档上方，同时注意缺少第 10 页（故意留白的页面）——否则左侧会出现奇数页。该文档是 A4 扫描文件，每页两列。非正式的附件 A 在单独的绑定中会更好。相反，添加两个更正！
或者，SAI出售硬拷贝。
于 2012-06-06T12:37:06.950 回答