【发布时间】：2013-10-26 23:57:10
【问题描述】：
是否可以使用GNU Prolog 显示查询的 WAM 代码？
我知道我可以使用 pl2wam 为程序生成 WAM，但是我对程序执行的查询呢？有没有办法为此显示 WAM 代码？
我正在为 x64 Windows 使用 1.4.4 版
【问题讨论】：
标签： prolog gnu-prolog warren-abstract-machine
【发布时间】：2013-10-26 23:57:10
【问题描述】：
查询不会编译为 WAM 代码。它们由顶层动态元解释（因此不会生成 WAM 代码）。要查看将由编译器生成的 WAM 代码，请创建一个带有子句的文件，该文件的头部包含查询的所有名称变量，主体对应于查询。 例如查询：
?- append(X,Y,[a,b,c]).
创建一个包含的 Prolog 文件
query(X,Y) :- append(X,Y,[a,b,c]).
并将其编译为 WAM 文件以查看结果。
【讨论】：