Для выхода из некоторой функции или процедуры можно использовать оператор exit.

Процедуры только выполняют какое-то действие и не возвращают значение обратно.

Синтаксис объявления процедуры:

procedure <имя>(<список_параметров>);
const
  <константы>;
var
  <переменные>;
begin
  <оператор_1>;
  ...
  <оператор_n>;
end;

или

procedure <имя>(<список_параметров>) := <оператор>;

В современных диалектах можно использовать переменную Result для возвращаемого значения. В Pascal 7.0 необходимо было использовать для этого собственное имя функции.

Общий синтаксис описания функции:

function <имя_функции>(<список_параметров>): <тип_возвращаемого_значения>;
const
  <константы>;
var
  <переменные>;
begin
  <оператор_1>;
  ...
  <оператор_n>;
  <имя_функции> := <возвращаемое_значение>;
end;

или

function <имя>(<список_параметров>) := <выражение>; // Вывод типа возвращаемого значения производится на основе типа выражения.

Если нужно разделить объявление функции и описание, то используется ключевое слово forward. Объявление тогда помещается в начало и выглядит так:

function <имя_функции>(<список_параметров>): <тип_возвращаемого_значения>; forward;

Например, это необходимо, если одна подпрограмма использует другую, а та, в свою очередь, первую.

function sum(a, b : integer): integer;
var
  c : integer;
begin
  c := a+b;
  sum := c;
end;