Question

我正在使用SWI-Prolog为integer/1构建一些测试用例。

ISO / IEC 13211-1给出integer的BNF定义，整数的替代方案之一是character code constant。

我可以使用integer/1创建和测试所有其他替代方案的示例，但对于character code constant，我无法创建有效示例。（见下文）

创建的character code constant整数如何使用integer/1返回true？

答案

感谢@false。

integer(0'0).
true.

integer(0'9).
true.

integer(0'a).
true.

integer(0'\n).
true.

有用

X is 0'\n.
X = 10.

X is 0b010101.
X = 21.

X is 0xFFF1.
X = 65521.

X is 0o7423.
X = 3859.

并感谢j4n bur53来自@false的链接

使用SWI-Prolog除了2,8或16之外，还可以使用其他基数。

X is 5'1234012340.
X = 3032220.

X is 32'123456789ABCDEFGHIJKLMNOPQRSTU.
X = 47525417447024678661670292427038339608998846.

我尝试了什么

integer("0").
false.

integer('0').
false.

integer(`0`).
false.

integer("1").
false.

integer('1').
false.

integer(`1`).
false.

ISO

国际标准ISO / IEC 13211-1第一版1995-06-01
信息技术 - 编程语言 - Prolog
第1部分：一般核心

国际标准ISO / IEC 13211-1：1995
技术委员会1
发表于2007-11-15

国际标准ISO / IEC 13211-1：1995
技术CORRIGENDUM 2
发表于2012-02-15

integer

的BNF

integer token (* 6.4.4 *) =  
    integer constant (* 6.4.4 *)
  | character code constant (* 6.4.4 *)
  | binary constant (* 6.4.4 *)
  | octal constant (* 6.4.4 *)
  | hexadecimal constant (* 6.4.4 *) ;

character code constant

的BNF

character code constant (* 6.4.4 *) =  
  "0" , single quote char (* 6.5.5 *), single quoted character (* 6.4.2.1 *)

我怀疑BNF在ISO / IEC 13211-1中是错误的，但检查CORRIGENDUM显示没有更正。

整数测试用例

% <integer constant> examples

number(1). 
% true.

number(0).
% true.

number(01).
% true.

number(12345678901234567890123456789012345678901234567890).
% true.

% <character code constant> examples

% ???

% <binary constant> examples

number(0b0).  
% true.

number(0b10101010101010101010101010101010101010101010101010). 
% true.

integer(0b2).
% ERROR: Syntax error: Illegal number
% ERROR: integer
% ERROR: ** here **
% ERROR: (0b2) .

% <octal constant> examples

integer(0o7). 
% true.

integer(0o1234567012345670123456701234567012345670123456701234567). 
% true.

integer(0o8).
% ERROR: Syntax error: Illegal number
% ERROR: integer
% ERROR: ** here **
% ERROR: (0o8) . 

% <hexadecimal constant>

integer(0x0). 
% true.

integer(0xF). 
% true.

integer(0xf). 
% true.

integer(0x123456789ABCDEF012345670123456789ABCDEF012345670123456789ABCDEF). 
% true.

integer(0xG).
% ERROR: Syntax error: Illegal number
% ERROR: integer
% ERROR: ** here **
% ERROR: (0xG) .

Answer 1

评论中的回答是错误的重新发布此处以便其他人可以看到答案。

integer(0'0).
true.

integer(0'9).
true.

integer(0'a).
true.

integer(0'\n).
true.

如何将整数创建为字符代码常量？

1 个答案: