トレースされたゴールのリデュースの結果できた子ゴールや、 リデュースに ともなって実行を再開できたゴールは、 REDUCE ポートでトレースを指定でき る。 トレースのためには、 上述のプログラム・コードへのポインタを、 本来 のコードからトレース・ルーチンのコードへ差し替えておけばよい。 この処理は、trace_afterの内部で行われる。
