プログラム

プログラムのファイルに書くものは述語の定義と種々の宣言からなります。 もちろんコメントは任意のところに書けます。

述語の定義

    節.
    節.
    ・
    ・
    ・

    頭部 :- 本体部.
または、
    頭部.

［例］述語のアリティ

   reverse(X,Y) :- reverse(X,[],Y).
   reverse([],N,N).
   reverse([E|L],M,N) :- reverse(L,[E|M],N).

   これは、reverse/2 と reverse/3の２つの述語の定義です。

［例］ 述語の混在

   capital(usa,washington).   population(usa,22000).
   capital(japan,tokyo).      population(japan,11000).
   capital(china,peking).     population(china,118000).

［例］ ","で区切られた本体部を持つ述語

   subset([X|Y],Z) :- member(X,Y),!,subset(Y,Z).
   subset([],Z).

本体部のゴールには、述語の呼び出しの形を書きます。 呼び出される述語はそのゴールが実行されるまでに定義されていなければなりません。
上例の2番目の節には本体部がありません。この形の節を単位節と呼ぶことがあ ります。単位節は、true のみを本体部とする節と意味は同じです。true は、 組込み述語で何もしない述語です。

［例］

   subset([],Z).            と
   subset([],Z) :- true.　  は意味は同じ。

宣言

	:- 命令.

宣言として使用される命令の代表的なものは、

:- module　M. /*　モジュール宣言　*/

:- public　P. /*　公開宣言　*/

:- dynamic　P. /*　動的宣言　*/

:- compile_option(OptionList)./*　コンパイルオプション */

:- op(Prio,T,F)./*　演算子宣言　*/

:- -File.　 /*ファイル組込み宣言 */

:- [File]. /*ファイル組込み宣言 */

モジュール宣言は、プログラムの中の述語のスコープ規則に 関する指定であり、次のモジュール宣言またはファイルの終わりまでに 定義される述語がそのモジュールに所属することを宣言しますから、 プログラムの中での位置が重要です。 一つのモジュールには普通、まとまった機能の集まりとなる述語群を記述します。

公開宣言は、指定の述語がモジュールの外から実行できるように するための宣言で、モジュールの中であれば指定の述語の前後どこにでも置けます。 通常は、見やすいようにモジュール宣言の直後か、述語の定義の直前に書きます。

動的宣言はコンパイル時に有効な宣言で、コンパイルされる述 語の中で呼び出されるインタプリトされる述語をコンパイラに通知します。 動的宣言された述語は、コンパイルされるモジュール内に 配置できますが、call/1によってインタプリタを通して実行されます。

コンパイルオプションは コンパイル時に有効で、compile組込み述語と同じオプションリストを指定 できます。

演算子宣言は、指定の記号の演算子としての働きを定義しますから、 その記号が使用されるよりも前に書かれなければなりません。 モジュール宣言の直後に書くのがよいでしょう。

ファイル組込み宣言は、指定のファイルを読み込むことを指示しています。 これもファイルの先頭に書く方が望ましいでしょう。