从跟踪隐藏谓词

Question

有没有办法从跟踪中隐藏单个谓词？ 在这样的规则中：

p(<Stuff>) :-
    q(),
    p(<ModifiedStuff>);
    s(),
    p(<ModifiedStuff>);
    p(<ModifiedStuff>).

例如，我想从跟踪中隐藏q()和s() ，因为我只对对p()的调用感兴趣。 q()和s()可能会调用许多其他谓词，这完全阻塞了跟踪并使其很难在其中找到相关的调用。

编辑1

我现在尝试从命令行而不是从解释器内部执行，并将跟踪管道传递给grep以对包含p grepping行...但是令我失望的是，从命令行运行时，我仍然意识到，它仍然打开了一个prolog shell ，因此管道输出完全不起作用。 仅print将实际发送到运行序言进程的shell。

编辑2（使用trace（p，all）时输出）

?- trace(shift_reduce, all).
%         shift_reduce/2: [call,redo,exit,fail]
true.

[debug]  ?- shift_reduce([λ,x,x], T).
 T Call: (8) shift_reduce([λ, x, x], _7344)
 T Exit: (8) shift_reduce([λ, x, x], [e, [λ], [v, [x]], [e, [v, [...]]]])
T = [e, [λ], [v, [x]], [e, [v, [x]]]] ;
 T Exit: (8) shift_reduce([λ, x, x], [e, [λ], [v, [x]], [e, [v, [...]]]])
T = [e, [λ], [v, [x]], [e, [v, [x]]]] ;
 T Fail: (8) shift_reduce([λ, x, x], _7344)
false.

[debug]  ?-

Answer 1

在SWI-Prolog中，您可以使用trace/2例如：

trace(p, all) ，这将启用与p有关的信息，并且还将激活调试模式。

在调试模式下，可以调用：

p(<Stuff>).

现在仅显示p的信息。

Answer 2

在调试器中按回车键时，调试器通常会爬行 。 经典方法是设置间谍点您想看到的东西。 然后从谍点跨越到间谍点。 许多调试器提供了一个jump命令。

这是示例代码：

p :- q, s, p.
q.
s.

跟踪和爬行时，您会得到以下跟踪：

?- trace.
true.

[trace]  ?- p.
   Call: (8) p ? creep
   Call: (9) q ? creep
   Exit: (9) q ? creep
   Call: (9) s ? creep
   Exit: (9) s ? creep
   Call: (9) p ? creep
   Call: (10) q ? 

调试时，在p / 0上使用间谍点并跳跃，将得到以下跟踪：

?- debug.
true.

[debug]  ?- spy(p/0).
% Spy point on p/0
true.

[debug]  ?- p.
 * Call: (8) p ? leap
 * Call: (9) p ? leap
 * Call: (10) p ? leap
 * Call: (11) p ? 

您可以将以上内容与leash / 1指令结合使用，以使调试器不会提示。