init

MINERVAのパッケージは、モジュールユニットとして参照され、 オンデマンドで、動的にロードすることができます。

述語をMINERVAパッケージにグルーピングするためには、 'package'と'init'の指令を使用して下さい。

MINERVAコンパイラは、 それぞれの *.min ソースファイルと *.mbc オブジェクトファイルに対して、 *.mpk インタフェース記述ファイルを生成します。

'_' (アンダースコア)で始まる関数子を持つ述語は、インタフェース記述の 中に含まれません。

*.mbc ファイルは、その述語が初めに使用された時に自動的にロードされます。

'init'指令によって指定された述語の場合、ロード時に呼び出されます。

See the example files: 以下の例題ファイルを見て下さい。

abc_library.min, abc_library.mpk, example.min and example.mpk