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

Question

我正在尝试创建自己的 WAM 实现，并使用“Warren's Abstract Machine: A Tutorial Reconstruction”的图 2.10中的说明作为测试用例。但是，我需要传递A1和传递A2给get_structure. 但是这两个变量是在哪里创建的？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中。