La sentencia exit se usa para finalizar la ejecución de un bucle (loop, for, while). La finalización puede depender del cumplimiento de una condición que debe ser una expresión booleana.
exit_statement ::= exit [loop_identifier] [when condition];
S := 0; loop Put ("Teclee un valor: "); Get (X); exit when X = 0; S := S + X; end loop;
S := 0; Bucle_1: loop Put ("Teclee un valor: "); Get (X); exit Bucle_1 when X = 0; S := S + X; end loop Bucle_1;