Prólogo: artículo único frente a lista de elementos individuales

Question

Al resolver problemas en una tarea más grande para la escuela, encontré un error que había cometido, donde trataba una sola lista de elementos (una pila con un artículo) como si fuera un solo artículo. He resuelto mi problema, sin embargo, en la prueba adicional noté algo raro:

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' 

comportamiento similar ocurre usando =: =/2 en lugar de decir/2. Por cualquier razón, una sola lista de elementos se considera igual que un solo elemento, pero solo para enteros no negativos.

Curiosidad más que cualquier otra cosa ... ¿Alguien sabe por qué es esto?

Gracias!

Answer 1

En SWI-Prolog (y quizás otros), esto está relacionado con un backward compatibility implementation de expresiones para la evaluación por is/2 y =:=/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. 

Como los códigos de caracteres son números enteros no negativos, esto puede explicar por qué el comportamiento que Solo estoy viendo trabajos para tales números y no números flotantes y negativos.