Цикл "с постусловием" в Паскале:
repeat // ключевое слово repeat -- начало цикла с пост- условием
// тело цикла, например: read(a)
until (a=0) // пока это условие ложно цикл будет работать
В этом цикле операторные скобки begin/end не нужны, их роль в данном случае играют ключевые слова repeat и util.
Пример цикла с предусловием см. здесь.