KLICのトレーサは, 上記のゴール呼びだし操作やリダクション操作などの, ゴー ル書換えモデルの各操作をモニターするものである. トレーサでは, 各操作 をモニターする部分を「ポート」と呼ぶ.
例えば, ゴール呼びだし操作をモニターする部分は「CALLポート」と呼ばれ, リダクション操作をモニターする部分は「REDUポート」と呼ばれる. 以下に, 実際のプログラムをトレースする例を示す.
