ゴールのリデュース時には、 リデュースにともなうユニフィケーションによっ て中断していたゴールが再開することがある。 この処理は実行時ライブラリ resume_goals()(runtime/unify.c)中のサブルーチン中で、 trace_resumption()を呼びだすことにより行われている。
トレース用の実行時ルーチンでは、 トレース・フラグが立っている間に再開し たゴールを記憶して、 後の REDUCE ポートでのトレースの際に報告するように している。 再開処理もコストの高い処理なので、 フラグ判定コストは無視で きる。