Repeat
оператор1;
........
операторN
until вираз

Повторювати
оператор1;
........
операторN
докиНе вираз

Операторів може бути довільна кількість, або не бути зовсім. Результат виразу повинен мати логічний тип. Оператори, поміщені між ключовими словами repeat і until, виконуються послідовно доти, поки результат виразу не набуде значення true. Послідовність операторів виконається принаймні один раз, оскільки обчислення виразу провадиться після виконання послідовності операторів.
Наведемо приклад оператора циклу з післяумовою:

repeat
K := I mod J;
I := J;
J := K;
until J = 0;