prolog - 在 Warren 的抽象机中，参数变量是在哪里创建的？

Question

我正在尝试创建自己的 WAM 实现，并且正在使用 Figure 2.10 中的说明。 “Warren 的抽象机器:教程重建”作为测试用例。但是，我需要将 A1 和 A2 传递给 get_struct。但这两个变量都是在哪里创建的呢？ put_value 和 put_variable 都创建 A 变量，但说明中均未列出。

Answer 1

A_i 是“参数寄存器”。它们是机器的一部分。所以 put_value 不会创建它们，而是填充它们。第 23 页的图 2.8 表示:

put_value X_n, A_i ===  A_i <- X_n

意思是，将值X_n存储在A_i中。