Na Abstract Machine de Warren, como o bind funciona, se um dos argumentos é um registro?
Estou tentando criar minha própria implementação WAM e estou preso emo exercício 2.4
Não consigo entender como executar instruçõesunify_value X4 na figura 2.4.
Tanto quanto eu entendo, esta instrução deve unificar Y do programa com f (W) da consulta.
unify_value X4 chamadasunify (X4,S) onde S = 2 (veja a Figura 2.1) e uma célula de pilha correspondente é "REF 2" e X4 é "STR 5".
Unify (Figura 2.7) devebind esses valores, mas eu não entendo comoderef um registro.
"REF 2" está na pilha, "STR 5" está em um registro. Como vocêbind algo para um registro?