# for(+初期値_式,-カウンタ,+最終値_式)

for/3は、範囲内で整数を生成します。「初期値_式」も「最終値_式」も共に整数でなければなりません。そうでない場合には、例外が起こります。

「カウンタ」が値を持たない変数の場合には、for(「初期値_式」,「カウンタ」,「最終値_式」)のゴ−ルを満たそうとする度に、「カウンタ」は、「初期値_式」から「最終値_式」の（両方を含む）範囲内の整数になります。for/3は、範囲内の全ての整数が使われるまでは成功します。

「初期値_式」が「最終値_式」より小さければ、整数は昇べきの順に使われます。 （「初期値_式」, 「初期値_式」+1,...）

「初期値_式」が「最終値_式」より大きければ、整数は降べきの順に使われます。 （「初期値_式」, 「初期値_式」-1,...）

「カウンタ」が整数の場合のfor(「初期値_式」,「カウンタ」,「最終値_式」)の呼び出しは、「カウンタ」が「初期値_式」から「最終値_式」の範囲内にある整数であるかどうかをテストする命令になります。

?- for(2,I,3). I = 2; I = 3; no ?- for(3,I,2). I = 3; I = 2; no ?- for(2,2,2). yes

intenger_expected 「初期値_式」あるいは「最終値_式」のいずれかが整数ではない。

scroll to top