Как работает связывание в абстрактной машине Уоррена, если одним из аргументов является регистр?

Я пытаюсь создать свою собственную реализацию WAM, и я застрял вупражнение 2.4

Я не могу понять, как выполнить инструкциюunify_value X4 на рисунке 2.4.

Насколько я понимаю, эта инструкция должна объединять Y из программы с f (W) из запроса.

unify_value X4 звонкиunify (X4,S) где S = 2 (см. рисунок 2.1) и соответствующая ячейка кучи - «REF 2», а X4 - «STR 5».

Unify (Рисунок 2.7) следуетbind эти ценности, но я не понимаю, какderef регистр.

«REF 2» находится в куче, «STR 5» находится в регистре. Как тыbind что-то зарегистрировать?

Ответы на вопрос(1)

Ваш ответ на вопрос