load(+ファイル名) loaded(-モジュールリスト)

load/1は、コンパイルされたPrologプログラムをコンパイル済みのモジュ−ルとしてPrologのデ−タベ−スに読み込みます。

「ファイル名」は、ロ−ドすべきファイルを指定します。システムは、最初に「ファイル名」という名前のファイルをロ−ドしようとします。そのようなファイルが存在しない場合には、ファイル'「ファイル名」.sem'をロ−ドします。

モジュ−ル名は、システムがロ−ドされた節の集まりを認識したり、ユ−ザが後でこれらの節を unload(ファイル名). などで参照するための名前です。load/1では、モジュ−ル名は拡張子'.sem'のないファイルの名前です。

load/1の機能は、ほぼreconsult/1の機能と同じです。ロ−ドされたファイル中の述語の定義は、これらの述語に対する節がある場合には、それらに置き換えられます。

ロ−ドされた述語は、そのファイル中でpredicate/1を使って定義していなければ、変更できないことに注意して下さい。ただし、unload(ファイル名) を使って削除することができます。

ロ−ド中にエラ−が発生した場合には、例外処理が起きます。そして、load(ファイル名)によるデ−タベ−スへのすべての変更は元に戻され、システムは呼び出しの前の状態に戻されます。

loaded/1の「モジュ−ルリスト」には、ロ−ド済みのモジュ−ルのリストが入ります。

?- load(testfile), loaded(L).

L = [break,testfile]

yes ?- _

atom_expected 「ファイル名」あるいはモジュ−ル名が有効なアトムでない

illegal_format 「ファイル名」（あるいは '「ファイル名」.sem'）という名前のファイルは存在するが、そのファイルはコンパイルされたPrologプログラムではない

could_not_open_stream 「ファイル名」、'「ファイル名」.sem'のいずれのファイルにもアクセスできない

old_sem_file 「ファイル名」は、すでにIF/Prologバージョン3でコンパイルされています。ソースファイルをIF/Prologバージョン4のコンパイラを使ってコンパイルし直して下さい。

特別なメッセ−ジ：

not_modifiable 既存の節は変更できず、置き換えられない

Up read on...