En una máquina abstracta de Warren, ¿cómo funciona el enlace, si uno de los argumentos es un registro?
Estoy tratando de crear mi propia implementación de WAM y estoy atascado enel ejercicio 2.4
No puedo entender cómo ejecutar la instrucción.unify_value X4 en la figura 2.4.
Hasta donde entiendo, esta instrucción debería unificar Y del programa con f (W) de la consulta.
unify_value X4 llamadasunify (X4,S) donde S = 2 (ver Figura 2.1) y una celda de montón correspondiente es "REF 2", y X4 es "STR 5".
Unify (Figura 2.7) deberíabind esos valores, pero no entiendo cómoderef un registro
"REF 2" está en el montón, "STR 5" está en un registro. Cómobind algo a un registro?