在线可搜索的 Prolog 语言描述 [英] A searchable Prolog language description online

问题描述

是否有在线提供的 Prolog 语言(语法和语义)的描述?

Is there a description of Prolog language (syntax and semantics) available online?

有很多关于实现的参考手册.但这些都不是语言描述.例如 SWI Prolog 手册 状态

There are a lot of reference manuals for implementations. But neither of those is a language description. For example the SWI Prolog manual states

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

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

还有 指的是一套印刷在纸上的书籍，出版于 19 世纪八十年代.而 ISO 标准是为了钱，应该可以从我国家的 ISO 代表那里获得"胡言乱语.

And refers to a set of books printed on paper, published in the nineteen eighties. And to ISO standard which is for money and "should be available from my country's ISO representative" gibberish.

推荐答案

ISO 标准的价格非常低(目前为 30 60 美元)来自 ANSI 网上商店，作为 INCITS 文档.在那里您还可以免费获得两份勘误表.有关所有当前文档，请参阅 iso-prolog 标签信息.这是一个全面的所有内置谓词的概述 包括 Cor.1 和 Cor.2.

The ISO standard is available for a very low price (currently USD 30 60) from the ANSI webstore as an INCITS document. There you also get the two corrigenda for free. See iso-prolog tag info for all current documents. Here is a comprehensive overview of all built-in predicates which includes Cor.1 and Cor.2.

如果您想要打印版本，最好还是自己打印在 INCITS 文件上方，知道第 10 页丢失了(有意留出一页空白)—否则奇数页在左侧.该文档是 A4 扫描件，每页有两栏.非正式的附件 A 在单独的绑定中效果更好.相反，添加两个更正！

If you want a printout version, the best is still to print above INCITS document yourself being aware that page 10 is missing (a page left intentionally blank) — otherwise odd pages are on the left side. The document is an A4 scan with two columns per page. The informal Annex A goes better in a separate binding. Instead, add the two corrigenda!

或者，SAI出售硬拷贝.

这篇关于在线可搜索的 Prolog 语言描述的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！