MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
Prologプログラムのテキストは、通常テキストエディタを用いていくつものファイルに作成されます。これらのファイルの名前は、セミコンパイルされたファイル('.sem') から区別するために、'.pro'で終わっています。
プログラムは一連の節から成り立っています。同じ名前と同じアリティ（たとえば引数の数）を持つ節は、どれも同じひとつの手続きに属します。
上述のプログラムサンプルのように、節の間に":-"により示されるインタプリタへの指令を挿入してもかまいません。オペレ−タの定義が指令になります。
このようにして、IF/Prolog がこれらのファイルの中身を読み込むよう指示することができます。IF/Prolog はそれぞれのファイルのすべての節（すなわち事実と規則）を、現在のデータベースに付加します。これが、ファイルのコンサルトと呼ばれます。同じファイルを２度コンサルトすると、すべての節が同じである２つのコピーができあがります。ユーザは個々のファイル毎に編集、コンサルト、リコンサルトを行うのですから、同じ手続きに属する節を異なるファイルに分けて含めない方がいいでしょう。
重要事項：すべての入力の末尾にはドット"."をつけ、改行で終わらなければなりません。
ファイルcolleague.proをコンサルトするには、以下のどちらかのコマンドを使って下さい。
?- consult(colleague).
または、省略形を用いて
?- [colleague].
いずれの場合でも、インタプリタがプログラムを読み込んだりコンサルトするように指示し、その事実や規則をデ−タベ−スに追加します。ファィルの読み込みが終わると、以下のように読み込みに使用された時間が表示されます（このメッセ−ジは省略することができます。レファレンスマニュアルのnonotify/0を参照して下さい）。
consult: file colleague.pro loaded in 1 sec.
yes
?- _
ファイル名の指定は、Prologのアトムでなければなりません。ファイル名はどのような名前でもかまいません。通常はアトムに認められないような文字がファイル名に含まれている場合は、ファイルの指定全体を引用符''で囲まなければなりません（引用符で囲まれたアトムはどのような文字を含んでいてもかまいません。） IF/Prolog のインタプリタが自動的に付加しますから、拡張子'.pro'は省略してかまいません。
?- consult('my_file.pro').
あるいは
?- ['my_file.pro'].
"***.pro", line..., syntax warning..."のメッセージが出た場合には、構文エラーについての章を読み、述語correctを呼び出してください。この呼び出しにより、自動的に、"***.pro" のエディタが呼び出されます。ここで、ファイルのエラーを修正して、いつもの通りエディタを終了して下さい。これで、ファイルは自動的にリコンサルトされます。
データベース全体のうち、現在どれ位の領域が占有されているかを知りたい場合には、以下のようにタイプ下さい。するとIF/Prologは、現在使用中のデータベースのパーセンテージを表示してくれます。
?- X is dbused.
X = 57
IF/Prologが一旦停止している場合は、改行して下さい
yes
?- _
以下のようにして、複数のファイル名を１度にコンサルトできます。
?- [structure, colleague].
プログラムがかなりの数のファイルを持つのであれば、プログラムのファイルをコンサルトするというインタプリタへの指令を含んだファイルを１つ作成して下さい。すると、この1つのファイルをコンサルトするだけでプログラム全体をコンサルトすることができます。
このようなファイルを実際に作成してみましょう。このファイルを"make_prog.pro"と呼ぶことにします。IF/Prologのファイルにおいて"指令"は、":-"で始まる行で示されることに注意してください。たとえば、IF/Prologにファイル"my_file.pro"と"your_file.pro"を読み込ませたい場合には、ロ−カルなエディタを使ってファイル"make_prog.pro"を作成し、その中に以下の内容を書きます。
:- consult('my_file'), consult('your_file').
これ以後、上述のふたつのプログラムを読み込ませたい場合にはいつでも、ただプロンプトに応じて次の指示を入力するだけでよいのです。
?- consult(make_prog).
あるいは ?- [make_prog].
| 
