Swi-prolog bug 奇怪的输出

Question

我有以下程序：

filter([],_What,[]).

filter(List,What,Output):-
    not(select(What-Val,List,Rest)), 
    filter([],What,Output).

filter(List,What,[Val|Output]):-
    select(What-Val,List,Rest),
    filter(Rest,What,Output).

我不明白为什么要进行以下查询：

filter([age-90, age-80,age-80],age,Output).

输出：

Output = "ZPP" 

我有最新版本的 SWI-prolog (7.4.2)，并且有 El Captain (10.11.6) 的 mac。

我尝试过 guitracer，它构建列表 [90,80,80] 但输出“ZPP” 我不知道为什么会这样。

SWISH在线prolog输出[90,80,80]，所以一定是SWI-Prolog的东西。

编辑

它似乎将数字转换为字符 90=Z、80=P 等...

为什么要这样做？

Answer 1

很难说它是如何被加载的，但这种行为可以由portray_text(true)触发：

6 ?- A = [90,80,80].
A = [90,80,80].

7 ?- portray_text(true).
true.

8 ?- A = [90,80,80].
A = "ZPP".

这个想法是，如果您将文本处理为字符代码列表，则输出很难阅读。 describe_text/1 启用了一个尝试解释的 describe/1 钩子 整数列表作为字符代码列表，如果成功则将结果打印为字符串。

可以将 GUI 跟踪器配置为执行此操作，但我认为这不是默认设置。