Цикл с предусловием — цикл, который выполняется пока истинно некоторое условие, указанное перед его началом. Это условие проверяется до выполнения тела цикла, поэтому тело может быть не выполнено ни разу (если условие с самого начала ложно).
Цикл называется итерационным, если число его повторений не задается, а определяется в ходе выполнения цикла. В этом случае одно повторение цикла называется итерацией.
Пример: Найти факториал числа N.
Пусть F - переменная, накапливающая факториал, R - число, меняющееся от 1 до N. Тогда F=1*2*3*...*N или F=R*(R+1)*(R+2)*...*N
PascalABC.NET 3.7:
##var sumOfAP := function(a1, an, d: real):real → (a1 + an)/2*((an - a1)/d+1);var (a, b) := ReadInteger2('Введите a и b:');var sE := sumOfAP(a + a mod 2, b - b mod 2, 2);var sO := sumOfAP(a + 1 - a mod 2, b - 1 + b mod 2, 2);Print('Результат:', sE - sO)Пояснение:
Используется формула для нахождения суммы первых n членов арифметической прогрессии: 
, где 
— первый член прогрессии, 
— последний член, 
—разность прогрессии.
Var a,b,n:integer;
BEGIN
while (n < 5) do begin
readln (a);
if (a mod 2 = 0) then begin
b:=b+a;
n:=n+1;
end;
end;
writeln (b);
END.