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

Question

我想跟踪SWI-Prolog中的内置append / 3，但是我立刻得到了结果，看不到中间发生了什么。

有什么我需要做的事情来启用跟踪追踪？

 ?- trace .
true.

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

Answer 1

在SWI-Prolog中， append/3谓词在lists模块中定义，该模块包含指令：

:- set_prolog_flag(generate_debug_info, false).

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

Answer 2

不跟踪内置Prolog功能