Как работает связывание в абстрактной машине Уоррена, если одним из аргументов является регистр?
Я пытаюсь создать свою собственную реализацию 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
что-то зарегистрировать?