prolog - GNU 序言 : Displaying WAM code for query?

Question

是否可以使用 GNU Prolog 显示查询的 WAM 代码？ ?

我知道我可以使用 pl2wam 为程序生成 WAM，但是我对程序执行的查询呢？有没有办法为此显示 WAM 代码？

我在 x64 Windows 上使用 1.4.4 版

Answer 1

查询不会编译为 WAM 代码。它们由顶层即时进行元解释(因此不会生成 WAM 代码)。要查看将由编译器生成的 WAM 代码，请创建一个带有子句的文件，该子句的头部包含查询的所有名称变量，而正文对应于该查询。
例如查询:

?- append(X,Y,[a,b,c]).

创建一个 Prolog 文件，其中包含

query(X,Y) :- append(X,Y,[a,b,c]).

并将其编译为 WAM 文件以查看结果。