図2.4に各ポートでの出力形式を示す.
CALLポート, SUSPポート, FAILポートでは, ゴール番号, ポート名, ゴールレコードの内容が表示される. 右端の?は, ユーザの入力待ちのプロンプトを意味する.
REDUポートでは, 先ずリダクションされるゴールがCALLポートと同じ形式で表示され, 続いて, ゴールプールにエンキューされるゴール群が表示される.
ゴールプールにエンキューされるゴールは, ゴール番号, その節で一意に決まるサブゴール番号, エンキューされるゴールの種別, そのゴールのトレースフラグ, サブゴールの内容, の順に表示される.
エンキューされるゴールの種別は, 以下の4つの記号で示される.
トレースフラグは各サブゴールに付けられるフラグで, トレーサはトレースフラグが onであるゴールのみをトレースする. トレーサはトレースフラグが on ならば +を, トレースフラグが offならば -を表示する. デフォルトでは, 全てのゴールが トレース on である.
