Hassan Aït-Kaci の「ウォーレンの抽象マシン: チュートリアルの再構成」セクション 2.4 は、抽象マシンで一連の事実をサポートするために、L0 を L1 に拡張します。4 つの新しい命令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あるため、述語のアリティにすることはできません。