- 図形の編集操作から編集プログラムを自動生成
- プログラムをプロダクションルールの集合として表現
- e.g. 「上に移動させた直線が矩形に接したとき直線の長さだけ矩形を移動させる」
- ループも表現可能
- 「接する」「交わる」といった幾何的条件を重視
- システムの推論誤りを修正しながら正しいプログラムを作成
- 単一の例からでも変数や制約を抽出したプログラムを生成
- 似たようだがちょっと違う例があるときは、より詳細な条件をもつruleが生成され、条件分岐のように働く
- ユーザが以前の操作と完全に同じ操作を始めたときは、すぐに次の行動を予測して提示
