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