MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
一番左のボタンは直前の実行モード(creep,leap,sweep)に切り替わるようになっています。'Returnキー'を押しても動きます。
Creep サブゴールも含めて、停止トグルがONになっている次のポートで止まります。
Leap 現在のサブゴールを停止せずに実行し、その後、停止トグルがONになっている次のポートで止まります。
Sweep すべてのサブゴールを停止せずに実行し、その後LASTポートに到達し、かつLASTトグルがONであれば停止します。また、ブレークポイントが設定してあるところでは停止します。
NoStop すべてのサブゴールを停止せずに実行し、どのポートでも停止しません。ブレークポイントや例外処理、割り込みがあると停止します。
Break デバッガをサスペンドして新たなIF/Prologインタプリター・ループに入ります。
Abort デバッグを中止し、IF/Prologインタプリター・ループに戻ります。
call exit redo failJ 対応するポートに切替えます。すなわち、そのご実行を継続する際、そのポートに入ったものとして扱います。例えば、callをクリックすることでそのゴールの再呼び出しができますし、実際にはfailしたゴールでもexitをクリックすることで成功させたり、'fail'をクリックして失敗させたりすることができます。
paraent subgoal goal parentは、現在のゴールの親を表示させ、subgoalは、parentを押したと元のサブゴールに戻します。goalは、現在実行が停止しているところに戻ります。
先祖のゴールを見られることは、親ゴールの環境でブレークポイントを設定してから実行を継続するのに大変便利です。
| 
