Prolog: single item vs single item

Question

Trong khi xử lý sự cố một bài tập lớn hơn cho trường học, tôi đã tìm thấy một sai lầm mà tôi đã thực hiện, nơi tôi đang xử lý một danh sách mục đơn (một ngăn xếp với một mục) như thể nó là một mục duy nhất. Tôi đã giải quyết được vấn đề của mình, tuy nhiên trong thử nghiệm tiếp theo, tôi nhận thấy có điều gì đó lạ:

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' 

Hành vi tương tự xảy ra khi sử dụng =: =/2 thay vì là/2. Vì vậy, vì lý do gì đó, một danh sách mục đơn lẻ được coi là giống như một mục duy nhất, nhưng chỉ cho các số nguyên không âm.

Tò mò hơn bất cứ điều gì khác ... bất kỳ ai biết tại sao điều này là?

Cảm ơn!

Answer 1

Trong SWI-Prolog (và có lẽ những người khác), điều này có liên quan đến một backward compatibility implementation các biểu thức để đánh giá bởi is/2 và =:=/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. 

Như mã ký tự là các số nguyên không âm, điều này có thể giải thích tại sao hành vi của bạn đang thấy chỉ hoạt động cho những con số như vậy chứ không phải là dấu phẩy động và số âm.