wam.instruction-set
get-structure
(get-structure ctx f|N Xi)
get-value
(get-value ctx Xn Ai)
get-variable
(get-variable ctx Xn Ai)
put-structure
(put-structure ctx f|N Xi)
This instruction marks the beginning of a structure (without
embedded substructures) occurring as a goal argument. The
instruction pushes the functor f|N for the structure onto the
heap, and puts a corresponding structure pointer into register
Xi. Execution then proceeds in "write" mode.
put-value
(put-value ctx Xn Ai)
put-variable
(put-variable ctx Xn Ai)
set-value
(set-value ctx Xi)
set-variable
(set-variable ctx Xi)
This instruction represents an argument of the final goal that is an
unbound variable. THe instruction creates an unbound variable on the
heap, and puts a reference to it in the Xi register.
unify-value
(unify-value ctx Xi)
unify-variable
(unify-variable ctx Xi)