prolog - In a Warren's Abstract Machine, where are Argument Variables created? -


i'm trying create own wam implementation , i'm using instructions in figure 2.10 of "warren's abstract machine: tutorial reconstruction" test case. however, need pass a1 , a2 get_structure. both variables created? put_value , put_variable both create a-variables neither listed in instructions.

ai "argument registers". part of machine. put_value not create them, fills them. figure 2.8 on page 23 says:

put_value x_n, a_i ===  a_i <- x_n 

meaning, store value xn in ai.


Comments

Popular posts from this blog

c# - Send Image in Json : 400 Bad request -

jquery - Fancybox - apply a function to several elements -

An easy way to program an Android keyboard layout app -