| 書式 | module(+NAME) |
|---|---|
| モジュール名を宣言します．この述語はモジュールの先頭で使用されます． | |
:- module("list:reverse"). | |
| 書式 | module_interface |
|---|---|
| モジュールインタフェース部の開始を宣言します． モジュールの作り方を参照してください． | |
:- module_interface. | |
| 書式 | module_implementation |
|---|---|
| モジュール実装部の開始を宣言します． モジュールの作り方を参照してください． | |
:- module_interface. | |
| 書式 | module_extendable |
|---|---|
| このモジュールで定義された型の subtype を他のモジュールで定義することが可能であることを宣言します． | |
> :- module_extendable. | |