小编Mic*_*sef的帖子

为什么ISO/IEC 13211-1:1995的技术勘误2忽略了"标记"规则中的"条形"?

Cor.2(仅)说明以下关于第6.4条的内容:

6.4代币

添加为最后一个语法规则:

bar (* 6.4 *)
   = [ layout text sequence (* 6.4.1 *) ] ,
     bar token (* 6.4.8 *) ;
Run Code Online (Sandbox Code Playgroud)

当然另一种修改至6.4意图,即添加bar (* 6.4 *)到的定义token (* 6.4 *),这是在如下的ISO/IEC 13211-1:1995:

token (* 6.4 *)
   = name (* 6.4 *)
   | variable (* 6.4 *)
   | integer (* 6.4 *)
   | float number (* 6.4 *)
   | double quoted list (* 6.4 *)
   | open (* 6.4 *)
   | open ct (* 6.4 …
Run Code Online (Sandbox Code Playgroud)

prolog iso-prolog

5
推荐指数
1
解决办法
85
查看次数

标签 统计

iso-prolog ×1

prolog ×1