次頁のリストは、IF/Prologをサポ−トする、GNU Emacsで使用可能なコマンドをまとめたものです。"Ｍ-文字"は、キ−ボ−ドのメタキ−を打ってから、その後に文字を打ち込むという意味です。"メタ"キ−は、通常、"エスケ−プ"キ−です。"Ｃ-文字"は、キ−ボ−ドのコントロ−ルキ−を押しながら、文字を打ち込むということです。"C-h B"でこれらのバインディングの完全なリストを見ることができます。

Prologコードよりの移動
下位のPrologプロセスとの相互対話
Emacsでのedit/[01]或はcorrect/0メカニズムの使用
述語定義(タグ)の検索
Prologモードにおけるローカル・キー・バインディングのリスト

Darueber read on...