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.
ヘッドとサブゴールウインドウでは、サブゴールによって実行したゴールを表示しています。ただし、サブゴールでは、長いリストやたくさんの引数を持つ複雑な構造があったりするので、全ての情報を一度に表示することはお勧めできません。そこで、zoomとarityの制限が加えられるようになっており、データをどこまで表示するかコントロールできます。この制限はスクロールバーのようなzoomとarityのスライダーで調節することができます。
実際、zoomとarityの上限を大きな値にしておけば、サブゴールウインドウをスクロールすることによって大きな構造を観察することができますが、それはやはり不便なので、構造やリストをズーミングするためのメカニズムを特に提供しています。
|
