MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
Dedicated technical support for IF/Prolog ended Dec 31 2008.
This site is maintained as a community service only.
# 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 「初期値_式」あるいは「最終値_式」のいずれかが整数ではない。
| 
