:- ensure_loaded(File).
この指令は、以下と等価です。
:- init(load(File)).
ここで、load/1 は、せいぜい1度しかファイルをロードしません。
(MINERVA 2.4以降)
