Как генерация кода работает для Ait-Kaci's WAM L1?
В разделе 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 не может быть преданностью