时间戳

首页 > 解决方案 > 如何在 SICStus Prolog 中检查 WAM 代码

prolog - 如何在 SICStus Prolog 中检查 WAM 代码

问题描述

在的上下文中，我想看看 SICStus Prolog 生成的代码。例如，让我们剖析以下谓词！

is_list([]).
is_list([_|Es]) :- is_list(Es).

这就是我现在正在做的事情：

  1. 将 2 个子句拆分is_list/1为 2 个单独的谓词并添加 2 个虚拟子句：

    is_list__clause1(dummy1)。                  % 虚拟子句
is_list __clause1 ([])。

is_list__clause2(dummy2)。                  % 虚拟子句
is_list __clause2 ([_|Es]) :- is_list(Es)。

  2. （Ab-）像这样使用 SICStus ：

    | ?- is_list__clause1(X)。
X = 虚拟 1 ？t
…
0x7eff37281300：GET_NIL_X0
0x7eff37281304：继续
0x7eff37281308：END_OF_CLAUSEQ 用户：is_list__clause1/1
…
| ?- is_list__clause2(X)。
X = 虚拟 2 ？t
…
0x7eff37281150：GET_LIST_X0
0x7eff37281154: U2_VOID_XVAR 1,x(0)
0x7eff37281160：执行用户：is_list/1
0x7eff37281170：END_OF_CLAUSEQ 用户：is_list__clause2/1
…</pre>

这个输出——尽管有点神秘——让我对 WAM 级别的情况有所了解。我喜欢！

但是有一个更简单的方法......请帮助！

标签： prologsicstus-prologwarren-abstract-machine

解决方案

有一种更简单的方法：未记录的、不受支持的library(disassembler).

除了 WAM 指令之外，您还可以使用它以编程方式获取有关第一个参数索引的信息。有关更多信息，请参阅来源。

| ?- use_module(library(disassembler)).
% ...
yes
| ?- [user].
% compiling user...
| foo([],Ys,Ys). foo([X|Xs],Ys,[X|Zs]) :- foo(Xs,Ys,Zs). end_of_file.
% compiled user in module user, 89 msec 599696 bytes
yes
| ?- disassemble(foo/3).
% Predicate: user:foo/3 (user)
% Varcase: [4343940512-4343958960,4346212208-4343221120]
% Lstcase: [4346212212]
% Switch: [[]=4343940516], default: failcode
% clause indexed [var,number,atom,structure] (user)
%    4343940512: 'GET_NIL_X0'
%    4343940516: 'GET_X_VALUE_PROCEED'(x(1),x(2))
%    4343940528: 'END_OF_CLAUSEQ'(user:foo/3)
% clause indexed [var,list] (user)
%    4346212208: 'GET_LIST_X0'
%    4346212212: 'U2_XVAR_XVAR'(x(3,0),x(0,0))
%    4346212224: 'GET_LIST'(x(2))
%    4346212232: 'U2_XVAL_XVAR'(x(3),x(2,0))
%    4346212244: 'EXECUTE'(user:foo/3)
%    4346212256: 'END_OF_CLAUSEQ'(user:foo/3)
yes
| ?-

推荐阅读