type Arr = array [1..5] of integer; //Тип массива

const

  a: Arr = (-3, 100, 10, 12, 18);{Задаем типизированную константу - массив и сразу же присваиваем элементам значения}

procedure ReadArr(a: Arr);{Процедура для чтения массива}

  function Summa : integer; {Вложенная в процедуру функция для вычисления суммы элементов (входной в процедуру параметр виден и в функции)}

  var

    S, i: integer;

  begin //Начало функции

    S:= 0;

    for i:= 1 to 5 do s:= s + a[i]; //Вычисление суммы

    Summa:= s; //Присваиваем значение s функции

  end; //Конец функции

begin //Начало процедуры

  write(Summa); //Выводим значение функции

end; //Конец процедуры

begin //Начало программы

  ReadArr(a);

end. //Конец программы

Если только так. Я использовал процедуру, в которой входным параметром является заданный массив и в процедуре - вложенную функцию, вычисляющую сумму элементов. А вообще непонятно, зачем тут еще и procedure, ведь вполне можно обойтись одной функцией.