アプリケーションの場合、最初にロードされたパッケージのmain/1が、MINERVAプログラムの起動時に呼ばれます。
main(+Args)
アプレットの場合、最初のロードされたパッケージのmain/2が、MINERVAプログラムのスタートアップ時に呼ばれます。
main(+Applet, +Args)
引き数Argsは、コマンド・ラインからまたはHTMLラッパーからMINERVAプログラムに渡される引き数のリストです。
ユーザー定義述語main/1が定義されないならば、MINERVAは対話型モードで始まって、入力のためにユーザーにプロンプトを出します。
時系列的に最初にロードされたパッケージのmain/1だけが、呼ばれます（通常minervaへの-l argumentによって指定されるもの、または、*.mcaまたは*.mspファイルにおいて、mainパッケージと宣言されるもの）。 main/1の他の定義は、無視されて、警告を引き起こします。
パッケージのロード時で無条件に処理するために、init/1指令を使います。