hor*_*rsh 10 standards prolog iso-prolog
是否有在线提供的Prolog语言(语法和语义)的描述？
实现有很多参考手册.但这些都不是语言描述.例如,SWI Prolog手册说明
本手册未描述Prolog的完整语法和语义.
并指的是一套印在纸上的书,发表于20世纪80年代.而ISO标准是为了钱,"应该可以从我国的ISO代表处获得"乱码.
fal*_*lse 6
ISO标准可作为INCITS文档以非常低的价格(目前为30 60 美元)从ANSI网上商店获得.在那里,您还可以免费获得两个勘误表.请参阅所有当前文档的iso-prolog标记信息.以下是包含Cor.1和Cor.2 的所有内置谓词的综合概述.
如果你想要一个打印输出版本,最好仍然打印在INCITS文件上面,你自己知道第10页丢失了(一页故意留空) - 否则奇数页面就在左边.该文档是A4扫描,每页有两列.非正式附件A在单独的约束中更好.相反,添加两个更正!
或者,SAI出售硬拷贝.
归档时间：
13 年，4 月 前
查看次数：
424 次
最近记录：
10 年，12 月 前