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