GNU Prolog：顯示查詢的WAM代碼？

Question

是否可以使用GNU Prolog來顯示查詢的WAM代碼？

我知道我可以使用pl2wam來爲程序生成WAM，但是我對程序執行的查詢又如何呢？有沒有辦法顯示這個WAM代碼？我使用的版本爲1.4.4的Windows 64

Answer 1

查詢

不編譯WAM代碼。它們由頂層進行元解釋（因此不生成WAM代碼）。要查看由編譯器生成的WAM代碼，請創建一個帶有子句的文件，該子句的頭部包含查詢的所有名稱變量，並且正文與查詢相對應。 例如，對於查詢：

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

創建包含

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

，並編譯成一個WAM文件，看結果的Prolog的文件。