Prolog GNU序言：为查询显示WAM代码？
是否可以使用显示查询的WAM代码 我知道我可以使用pl2wam为程序生成WAM，但是我对程序执行的查询呢？有没有一种方法可以显示这个WAM代码Prolog GNU序言：为查询显示WAM代码？,prolog,gnu-prolog,warren-abstract-machine,Prolog,Gnu Prolog,Warren Abstract Machine,是否可以使用显示查询的WAM代码 我知道我可以使用pl2wam为程序生成WAM，但是我对程序执行的查询呢？有没有一种方法可以显示这个WAM代码 我正在为x64 Windows使用1.4.4版查询未编译为WAM代码。它们由顶级动态进行元解释（因此不会生成WAM代码）。要查看由编译器生成的WAM代码，请创建一个文件，其中包含一个子句，该子句的头包含查询的所有名称变量，而主体对应于查询。 例如，对于查询： ?- append(X,Y,[a,b,c]). 创建一个Prolog文件，其中包含 query
我正在为x64 Windows使用1.4.4版查询未编译为WAM代码。它们由顶级动态进行元解释（因此不会生成WAM代码）。要查看由编译器生成的WAM代码，请创建一个文件，其中包含一个子句，该子句的头包含查询的所有名称变量，而主体对应于查询。 例如，对于查询：
?- append(X,Y,[a,b,c]).
query(X,Y) :- append(X,Y,[a,b,c]).