for 文

$i$ を(初期値)から(終り値) まで１ずつ増やして繰り返すには

for i from (初期値) to (終り値) do
...;
...;
...;
end_for;

$i$ を(初期値)から(終り値) まで１ずつ減らして繰り返すには

for i from (初期値) downto (終り値) do
...;
...;
...;
end_for;

(リスト)に含まれる $i$ に対して繰り返すには

for i in (リスト) do
...;
...;
...;
end_for;