可在线搜索Prolog语言描述

Question

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

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

  

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

和refers到20世纪80年代出版的纸上印刷的一套书。 而ISO标准是为了钱，“应该可以从我国的ISO代表处获得”乱码。

Answer 1

ISO标准以非常低的价格（目前USD 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出售硬拷贝。

Answer 2

您可能想要使用以下的预印本 一本不是ISO核心标准的书的附录：

ISO序言：拟议标准草案摘要 Michael A. Covington，1993年
http://www.uv.es/fbarber/prolog/isoprolog94_ps.Z
http://www.dropbox.com/s/kr1pbrfc1kqzdpq/isoprolog94_ps.Z

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