Hassan Aït-Kaci's "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的{{1}}来自何处？图2.9显示了查询Xn的生成代码示例。由于谓词p(Z,h(Z,W),f(W))具有arity 3且第一条指令为p，因此put_variable X4, A1不能成为谓词的arity。