swi-prolog协议输出文件中的垃圾字符

swi-prolog协议输出文件中的垃圾字符,prolog,swi-prolog,Prolog,Swi Prolog,当我使用协议('execution.txt')。并输入一些查询时,我在输出文件中得到了一些垃圾字符。有没有办法避免这些角色 11 ?- beside(block2, X). X = block3 [1m;[0m [1;31mfalse.[0m 12 ?- beside(block4, X). X = block7 [1m;[0m X = block3 [1m;[0m [1;31mfalse.[0m 13 ?- beside(block5, X). [1;31mfalse.[0m 14

当我使用
协议('execution.txt')。
并输入一些查询时,我在输出文件中得到了一些垃圾字符。有没有办法避免这些角色

11 ?- beside(block2, X).
X = block3  [1m;[0m
[1;31mfalse.[0m

12 ?- beside(block4, X).
X = block7  [1m;[0m
X = block3  [1m;[0m
[1;31mfalse.[0m

13 ?- beside(block5, X).
[1;31mfalse.[0m

14 ?- above(block1,X).
X = block2  [1m;[0m
[1;31mfalse.[0m

15 ?- above(block2,X).
[1;31mfalse.[0m

16 ?- above(block6,X).
X = block5  [1m;[0m
X = block4  [1m;[0m
[1;31mfalse.[0m

17 ?- noprotocol.

这些字符是ANSI终端控制序列,用于突出显示错误等。要禁用它,请输入

?- set_prolog_flag(color_term, false).
在启动协议会话之前。要永久禁用,请在首选项文件中放置与指令相同的命令。即,在Unix中,放置在~/.plrc中

:- set_prolog_flag(color_term, false).
若您使用XPCE EMACS,则可以从菜单中编辑首选项

Edit\Prolog preferences