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 ファイルにコンパイルして、結果を確認します。