WAM的替代品

Question

我记得有一次读到至少有两个与WAM同时发明的其他替代品.有什么指针吗？

Answer 1

在WAM之前,有Clocksin的ZIP.它的设计仍然非常有趣.SWI-Prolog使用它.此外,B-Prolog已经从WAM设计慢慢迁移到ZIP.当然,通过这种方式,开发了许多新的创新.另一种选择是VAM.

截至1993年的比较是:

http://www.complang.tuwien.ac.at/ulrich/papers/PDF/binwam-nov93.pdf

与此同时,最有趣的建筑发展与B-Prolog有关.

WAM与ZIP

WAM和ZIP之间的关键区别在于谓词参数的精确接口.在WAM中,参数都通过寄存器传递,即,实际寄存器或至少内存中的固定位置.ZIP通过堆栈传递所有参数.

让我们考虑一个最小的例子:

p(R1,R2,R3,L1,L2,L3) :-  % WAM                % ZIP
                         % store L1...L3      % nothing
                         % nothing            % push R1..R3
                         % init X1..X3        % push X1..X3
   q(R1,R2,R3,X1,X2,X3),
                         % put unsafe X1..X3  % push X1..X3
                         % load       L1..L3  % push L1..L3
   r(X1,X2,X3,L1,L2,L3).

致电之前q:

WAM不需要对在相同位置(R1..R3)传递给第一个目标的参数执行任何操作.这对于二元子句特别有意义 - 也就是说,最后只有一个常规目标的子句.WAM擅长这里.

其他参数L1..L3需要存储在本地.所以对于这些参数,寄存器接口没有做任何好事.

另一方面,ZIP不需要保存参数 - 它们已经保存在堆栈中.这不仅适用于具有多个目标的子句,也适用于其他中断目标(如约束或中断).

作为一个缺点,ZIP必须再次推动R1..R3.

两者都必须初始化X1..X3并将它们存储在堆栈中.

致电q:

调用时q,该WAM必须分配堆栈空间X1..X3和L1..L3因此6个细胞,而ZIP需求R1..R3,L1..L3,X1..X3.所以在这里,WAM更节省空间.此外,WAM允许环境修整(对于更复杂的情况),这对于ZIP来说几乎是不可能的.

致电之前r:

这r是最后一次调用,系统会尝试释放此子句的空间,前提是没有选择点.

对于WAM,X1..X3 必须检查存在变量是否仍然是未实例化的局部变量(put_unsafe),如果它们被移动到堆上 - 这很昂贵,但很少发生.L1..L3刚加载.就是这样,WAM现在可以安全地解除分配本地帧.所以最后一次通话优化很便宜.

对于ZIP,一切都必须照常推送.然后,额外的扫描必须检查堆栈上的所有值并相应地移动它们.那相当昂贵.一些优化是可能的,但它仍然是WAM所做的更多.((可能的改进是以相反的顺序推送参数.然后变量L1..L3可能留在它们的位置.所以这些变量不需要任何处理.我还没有看到这样的实现(还).))

Answer 2

在题为An abstract Prolog指令集的技术说明中,Warren还引用了Bowen,Byrd和Clocksin的另一个编译器.但是,他说这两种架构有很多共同之处,所以我不知道该编译器是否真的可以作为替代方案.

Answer 3

不确定这是不是你的意思,但前两个Prolog实现是由Colmerauer等人用Fortran编写的解释器.和Warren等人的DEC PDP-10原生编译器.

沃伦在他的前言中提到了Ait-Kaci的WAM 重建教程.如果这不是您的意思,您可以在该文档或其参考文献中找到它.