internal/kernel/kernel.tex

305 a new, different variable).
632 get_structure(a(A),F,ref(L))    & If argument is variable, push new structure
663 read_variable(N,y(Y))     & move content of location S++ to new environment \\
664 read_variable             & move content of location S++ to new temporary  \\
670 read_reference(N,y(Y))    & create reference to S++ in new environment \\
671 read_reference            & create reference to S++ in new temporary \\
692 write_variable             & create free variable at S++, put reference in new temporary  \\
695 write_variable(N,y(Y))     & create variable at S++, put reference in new environment \\
700 write_named_variable(T)         & create named free variable at S++, put reference in new temporary  \\
703 write_named_variable(N,y(Y),T)  & create named variable at S++, put reference in new environment \\
744 write_structure(F)              & write reference to new structure frame, and continue there \\
745 write_list                      & write reference to new list cell, and continue there \\
805 put_variable(a(A))              & set a(A) to new free variable on global  \\
843 push_void_reference(O)          & push new nonstandard variable frame, write reference to S++ \\
844 push_reference(O)               & push new nonstandard variable frame, write reference to S++ and new temporary \\
845 push_reference(a(A),O)          & push new nonstandard variable frame, write reference to S++ and argument \\
846 push_reference(y(Y),O)          & push new nonstandard variable frame, write reference to S++ and environment slot \\
847 push_init_reference(y(Y),O)     & push new nonstandard variable frame, write reference to S++ and environment slot (trailed) \\
860 push_list                       & create new list frame, write pointer to S++ \\
861 push_structure(I)               & create new structure frame, write pointer to S++ \\
878 puts_reference(O,T)     & create new nonstandard variable with tag T, push reference onto local stack, set S to it \\
879 puts_reference(y(Y),O,T)& create new nonstandard variable with tag T, push reference onto local stack and environment slot, set S to it \\
890 puts_list               & create new list frame, push pointer onto local stack, set S \\
891 puts_structure(D)       & create new list frame, push pointer onto local stack, set S \\
1292 older than the new choicepoint.
1314 and new ones re-created at the same address.
1502 which backtrackably overwrites the location arg with the new value v/t.
1510 its new value New.  Then there are the following different cases.
1514     Simply overwrite without trailing, regardless of old or new value,
1522 Copy new value to top of stack, and assign a reference to it,
1523    instead of the new value itself (like 2).
1691 a new structure. The get_structure type instructions dispatch according
1985 suspensions at the head of the list are removed when new suspensions are