表示コントロール

ヘッドとサブゴールウインドウでは、サブゴールによって実行したゴールを表示しています。ただし、サブゴールでは、長いリストやたくさんの引数を持つ複雑な構造があったりするので、全ての情報を一度に表示することはお勧めできません。そこで、zoomとarityの制限が加えられるようになっており、データをどこまで表示するかコントロールできます。この制限はスクロールバーのようなzoomとarityのスライダーで調節することができます。

実際、zoomとarityの上限を大きな値にしておけば、サブゴールウインドウをスクロールすることによって大きな構造を観察することができますが、それはやはり不便なので、構造やリストをズーミングするためのメカニズムを特に提供しています。