?- module(+モジュール名) ?- module_body(+モジュール名)

module/1とmodule_body/1は、コンパイルされたファイル中でのみ使用できる指令です。

module/1はソ−スファイル中の最初の指令でなければならず、そのソ−スファイルがモジュ−ルを定義することを示します。

module_body/1は、そのモジュ−ルの本体の始まりを示します。モジュ−ルの本体は、モジュ−ルファイルのPrologコ−ド部分です。

?- module(test). ?- export([a]). ?- module_body(test).

a :- true.

scroll to top