首页
标签
warren-abstract-machine
当全局启用发生检查时，Prolog 是否需要 GC？
WAM 中的扁平化形式
WAM Prolog 有符号 Table 吗？
如何检查 SICStus Prolog 中的 WAM 代码
为 L0 程序术语生成 WAM 代码的正确顺序是什么？
沃伦的抽象机程序指令何时执行？
显示给定 Prolog 程序的 WAM 代码
在沃伦的抽象机中，如果参数之一是寄存器，绑定如何工作？