prolog - GNU Prolog：显示 WAM 代码进行查询？

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 文件以查看结果。