可搜索的Prolog的语言描述在线[关闭](A searchable Prolog language

有Prolog的语言（语法和语义）可在网上的描述？

有很多的参考手册实现。 但这些都不是一个语言描述。 例如，SWI Prolog的手工状态

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

并指一组印在纸质书，发表在二十世纪八十年代。 和ISO标准，是对金钱和“应该可以从我的国家的代表ISO”胡言乱语。

Answer 1:

ISO标准是供非常低的价格（当前为30 60美元） 从ANSI网络商店作为INCITS文档。 在那里，你还可以得到两个更正为免费。 见异序言标签信息所有的现有文件。 这是一个全面的全内置谓词的概要 ，其中包括Cor.1和Cor.2。

如果你想打印输出版本，最好还是到上面打印文档INCITS自己意识到的是第10页丢失（页特意留空白） - 否则奇数页都在左侧。 该文件是一个A4扫描每页两列。 非正式附录A中去单独装订好。 相反，添加两个更正！

另外， SAI销售硬拷贝。

Answer 2:

你可能想使用的下列预印本
一本书，是不是ISO核心标准的附录：

ISO序言：建议标准草案的综述。
迈克尔A.科文顿，1993年
http://www.uv.es/fbarber/prolog/isoprolog94_ps.Z
http://www.dropbox.com/s/kr1pbrfc1kqzdpq/isoprolog94_ps.Z

它比完整的ISO标准的要短得多，但
它非正式早，覆盖几乎相同。

文章来源: A searchable Prolog language description online [closed]