For文
Pascalでの構文は以下のようになる(BASICの基本的な構文も同様である)。
このループは次のような手順で実行される。
カウンタ変数に初期値を代入する。
カウンタ変数の値が終値よりも大きいならば、ループを終了する。(条件の評価)
文を実行する。
カウンタ変数の値を次の値(Succ関数の結果。整数型変数なら1を加えることになる)にし、条件の評価に戻る。
C言語などと異なり、初期化とカウンタ変数の更新がそれぞれ、初期値の代入と1を加える(または減らす)ことに限定され、さらにループ継続条件が「カウンタ変数が終値より大きいか否か」だけに限定されている。そのため、Cのfor文よりも特殊化されたものと考えることができる。