?- module(+モジュール名) ?- module_body(+モジュール名)
module/1とmodule_body/1は、コンパイルされたファイル中でのみ使用できる指令です。
module/1はソ−スファイル中の最初の指令でなければならず、そのソ−スファイルがモジュ−ルを定義することを示します。
module_body/1は、そのモジュ−ルの本体の始まりを示します。モジュ−ルの本体は、モジュ−ルファイルのPrologコ−ド部分です。
?- module(test). ?- export([a]). ?- module_body(test).
a :- true.