prolog - Ait-Kaci 的 WAM L1 的代码生成如何工作？

Question

Hassan Aït-Kaci 的“Warren's Abstract Machine: A Tutorial Reconstruction”第 2.4 节将 L0 扩展到 L1 以支持抽象机器中的一组事实。四个新指令put_variable、put_value、get_variable和get_value有参数Xn和Ai，其含义不明确。描述只提到i参数索引Ai：i谓词的第-个参数位置。n来自哪里Xn？图 2.9 展示了一个为查询生成的代码示例p(Z,h(Z,W),f(W))。由于谓词p的元数为 3 并且第一条指令是put_variable X4, A1，n因此不能是谓词的元数。