>>229 PSIのKL0システム制御説明書が手元にあるので掲載します。

　　・グローバル・スタック(Global Stack)
　　　主として構造体(stracture)内の論理変数の値を保持する。
　　　また組み込み述語 new_stack_vectorで生成される構造体は
　　　このスタックの中に置かれる。

　　・ローカルスタック(Local Stack)
　　　主としてクローズの論理変数(構造体内に現れるものを除く)の値を
　　　保持する。

　　・コントロール・スタック(Control Stack)
　　　述語の戻りアドレス。バックトラック先アドレス、呼出しレベル番号
　　　等の実行制御用情報を保持する。

　　・トレイル・スタック(Trail Stack)
　　　バック・トラック時に論理変数の値を以前の値に戻すための情報を
　　　格納する。