MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
Dedicated technical support for IF/Prolog ended Dec 31 2008.
This site is maintained as a community service only.
M−． find-tag
タグの入力を促し、現在のタグテーブルに定義されている場所に移動する。タグのデフォルトは、カ−ソルの前にある関数子。
M−， tags-loop-continue
直前のタグと一致する次の場所に移動する。複数の定義を見つけるのに便利です。
M−１ M−． find-tag
find-tagに前置引数が与えられると、これを正規表現として次に一致する場所を探す。これは、共通の部分文字列を持つ述語を捜す場合に便利です。（たとえば execute, execute_goalなど。前置引数は、M-＜int＞またはC-u＜int＞で与えられます。M-1,M-0などはタイプしやすく、その値は関係ありません。）
TAGSで大きなプログラムを扱う場合の注意点
Emacs/UNIXのタグテ−ブル機構は、大きなプログラムや複数のファイルにわたるプログラムのメンテナンスを簡単にします。タグテ−ブルは、タグと各ファイル中のタグの場所のインデックスです。このことによって、Emacs(ex/vi)は、ファイルとそのファイルにあるタグとを高速に探すことができます。タグテ−ブルは、C，Lisp，Prolog，Fortranのソ−スファイルに対して作ることができます。このためユ−ザは、これらの言語を組合せて、簡単にプログラムを保守することができます。
etags.cプログラムは、Prologのソ−スファイルで動くように改造し、ptags.cという名前を付けてあります。 ptagsは、EmacsやUNIX用のフォ−マットのタグテ−ブルを生成します。これらのファイル名のデフォルトは、それぞれTAGSとtagsです。
M-.（メタポイント）は、タグを検索します。必要ならば、Emacsは自動的にファイルを新しいバッファに読み込み、そのタグの場所にジャンプします。ファイルにいくらか変更が加えられていても、タグテ−ブルを作成し直す必要はありません。lispモ−ドでは、タグはデフォルトで直前のS式になります。Prologモ−ドでは、デフォルトはポイントの前の関数子です。
| 
