Prolog:单项与单项列表

Question

在为学校排除更大的作业时,我发现了一个错误,我在处理单个项目列表(一个项目的堆栈),好像它是一个单项.我解决了我的问题,但是在进一步测试中我发现了一些奇怪的东西:

48 ?- 1 is [1].
true.

49 ?- -1 is [-1].
ERROR: is/2: Type error: `character' expected, found `-1'

50 ?- 0.66 is [0.66].
ERROR: is/2: Type error: `character' expected, found `0.66'

使用=:=/2而不是/ 2发生类似的行为.因此,无论出于何种原因,单个项目列表被视为与单个项目相同,但仅适用于非负整数.

好奇心比什么都重要......有谁知道这是为什么？

谢谢!

Answer 1

在SWI-Prolog （也许还有其他）中，这与通过和求值的表达式的向后兼容性实现有关：is/2=:=/2

.(+Int,[])

A list of one element evaluates to the element. This implies "a" evaluates to 
the character code of the letter `a' (97). This option is available for 
compatibility only. It will not work if `style_check(+string)' is active as "a"
will then be transformed into a string object. The recommended way to specify the
character code of the letter `a' is 0'a.

由于字符代码是非负整数，这可以解释为什么您看到的行为仅适用于此类数字，而不适用于浮点数和负数。