| コマンド名 |
コマンド入力形式 |
入力可能ポート |
コマンドの意味 |
| Continue |
<cr>,c |
全てのポート |
対象となるゴールのトレースを続ける |
| Abort |
a |
全てのポート |
対象となるプログラムのトレースを止める |
| Skip |
s |
全てのポート |
対象となるゴールのトレースを止める |
| Leap |
l |
全てのポート |
spyされたサブゴールが現れるまで、 |
| |
|
|
トレースの表示・入力を抑制する |
| Enable port |
E ポート名 |
全てのポート |
そのポートを観測する |
| Disable port |
D ポート名 |
全てのポート |
そのポートは観測しない |
| Leash port |
L ポート名 |
全てのポート |
そのポートでユーザからの入力待ちにする |
| Unleash port |
U ポート名 |
全てのポート |
そのポートでゴールの表示だけ行う |
| Trace |
+サブゴール番号 |
REDUポート |
そのサブゴールをトレース対象とする |
| Notrace |
-サブゴール番号 |
REDUポート |
そのサブゴールをトレース対象外とする |
| Toggle trace |
サブゴール番号 |
REDUポート |
そのサブゴールをトレースフラグを反転する |
| Notrace default |
n 述語 |
全てのポート |
その述語をトレース対象外とする |
| Trace default |
t 述語 |
全てのポート |
その述語をトレース対象とする |
| Spy |
S 述語 |
全てのポート |
その述語にスパイをかける |
| Nospy |
N 述語 |
全てのポート |
その述語のスパイを外す |
| Set Print Depth |
pd:引数 |
全てのポート |
表示する構造の深さの変更 |
| Set Print Length |
pl:引数 |
全てのポート |
表示する構造の長さの変更 |
| Toggle Verbose print |
pv |
全てのポート |
verboseモードへの切替え |
| Status query |
= |
全てのポート |
現在のパラメータの状況を表示 |
| List Modules |
lm |
全てのポート |
全モジュールの表示 |
| List Predicates |
lp |
全てのポート |
全述語の表示 |
| Help |
h,? |
全てのポート |
全モジュールの表示 |
| Queue |
Q |
全てのポート |
ゴールプール内のゴールの表示 |
|
