如何在SWI-Prolog中跟踪内置的append/3？

Question

我想跟踪SWI-Prolog中的内置附加/ 3，但是立即得到结果并且无法看到中间发生了什么。

有什么我必须做的追踪追踪？

?- trace . 
true. 

[trace] ?- append([a,b,c], [[],[2,3], b], X). 
X = [a, b, c, [], [2, 3], b]. 

Answer 1

内置的Prolog函数不跟踪

Answer 2

在SWI-Prolog中，所述append/3谓词的lists模块，其中包含了指令中所定义：

:- set_prolog_flag(generate_debug_info, false). 

这SWI-Prolog的专有指令指示编译器跳过模块内任何谓词定义的跟踪。如果您注释掉SWI-Prolog 安装中lists.pl文件中的指令，则应该能够跟踪对模块中定义的谓词或任何其他谓词的调用。