我记得曾经读到过，除了WAM之外，大约同时发明了至少另外两种替代方案。你有什么线索吗？

在黑客clpz在sicstus-prolog的背景下，我想一睹SICStus Prolog生成的warren-abstract-machine代码。例如，让我们剖析以下谓词！ is_list([]). is_list([_|Es]) :- is_list(Es). 这是我现在正在做的： ...

给定一个Prolog程序，是否有任何GNU Prolog命令可以查看与该程序相关的WAM代码？

我正在寻找研究论文或其他出版物，比较不基于抽象机的Prolog解释器与执行Prolog的不同抽象机（多个）。目前我所见的大多数实现似乎都是以Warren抽象机为基础构建其Prolog解释器，尽管也有其他的抽象机被提出（如Vienna抽象机、面向树的抽象机），但没有任何一种通用的比较方法。我感兴...

据我所知，通过声音统一，SLD解析不应创建循环数据结构（这正确吗？） 如果是这样的话，理论上可以以这种方式实现Prolog，而无需垃圾回收（GC）。但是，也可能不需要。 这对基于WAM的Prolog实现是否成立？ 这对SWI-Prolog是否成立？（我认为它不是基于WAM的）在全局启用“...