Goal Stacking

Goal Stacking（GS）は我々の従来法とほぼ同様であり、ゴールレコードに相当する 構造をスタックに積む（図2）。 ただし、局所変数はスタック変数としてスタックに割付けられる。 また標準KLICのようなゴールレコードをつなぐリンクはなく、その操作も不必要であ る。