prolog - 在 SWI-Prolog 中，是否有一种使用 REPL 将数字从一个基数转换为另一个基数的简单方法？

Question

在使用 REPL 的 SWI-Prolog 中，可以轻松地将任何基数转换为基数 10，例如

?- X = 16'FF.
X = 255.

?- X = 2'11111111.
X = 255.

但是这失败了。 (没想到它会起作用，但显示了我的想法。)

?- 2'X = 16'FF.
ERROR: Syntax error: Operator expected
ERROR: 
ERROR: ** here **
ERROR: 2'X = 16'FF . 

Answer 1

在 SWI-Prolog 中，您可以对 format/2 中的 radix 使用 r :

Print integer in radix numeric argument notation. Thus ~16r prints its argument hexadecimal. The argument should be in the range [2, ... , 36]. Lowercase letters are used for digits above 9. The colon modifier may be used to form locale-specific digit groups.

例子:

?- format("~2r", 0xFF).11111111true.