トレース結果の読み方

• プログラム中のゴールには通し番号が付けられる. トレース結果の各 行の最初の数字は, ゴールの番号である.
• 1 CALL:main:main? (3行目) は, 「main モジュールの main述 語が呼び出された. 」ことを意味する. つまり, ゴールプールから main:mainという述語が取り出されてきたことを意味している.
• 1 CALL:main:main? が表示された所で, トレーサは入力待ちにな る. ここで <CR>を入力すると, プログラムを次に進めることができる. （?が出ている所ではさまざまなトレーサのコマンドが入力できるが, 詳細は 後で述べる）
• 4行目から6行目の

         1 REDU:main:main :-
         2     0:+subset(yes,[3,1],[1,3,5],_3)
         3     1:+io:outstream([print(_3),nl])?
  

  は, main:main が REDUポート を通過し, subset(yes, [3, 1], [1, 3, 5], _3) と io:
  [1]outstream([print(_3), nl]) の２つ のゴールをゴールプールに入れたことを意味する. KLICのトレーサでは, 具 体値はその値がそのまま表示され, 変数は全て _で 始まる文字に変換されて 表示される.

• 7行目の 2 CALL:main:subset(yes,[3,1],[1,3,5],_3)? は, 前のリダクションでゴールプールに入れられた, ゴール番号 2番のゴールが 呼び出されたことを意味する. 以下, 同様のリダクション操作が続く.

• 23行目の 3 CALL:io:outstream([print(yes),nl])? s では, 6行目でゴールプールに入れられた, ゴール番号3番のゴールが呼び出されている. トレースからも分かるように, KLICのゴールプールはLIFOのキューとなっている.

  また, この行では s というコマンドを入力している. これは, io:
  [1]outstreamというゴールのトレースを行なわないことを意味 する. io:
  [1]outstream は, KL1で書かれているKLICシステ ムのユーティリティであり, この内部まで詳細にトレースする必要はないから である.