п-а,которая делает проверку, делится ли числo А на число B

Любое A делится на любое B не равное 0!
Наверное, без остатка?

If a div b = a/b then write('delits') else write('NOT');

Все-таки остаток лучше mod-ом вычислять... Для чего-то же он есть в Паскале...

а возможно ли решение этой программы через массив или функцию, или рекурсию?

(Нет смайлика с отпадающей челюстью )
Я даже не знаю что и ответить.... Задача в 3 строки

var a,b:integer
begin
 readln(a,b);
 If a mod b <>0 then write('delits') else write('NOT');
end.

я понимаю,но я пишу курсовик,а там такая пр-га,я и подумал,что мало ли.... я уже с ума схожу

А я уж было подумал что со мной что-то...

Ну, в принципе, можно через функцию сделать (вычислить НОД(A, B), и если он = 1, то число A не делится на B нацело):

function GCD (A: integer;  B: integer): integer;
begin
    while (a <> 0) and (b <> 0) do
       if a >= b then
         a := a mod b
       else 
         b := b mod a;
    GCD := a + b;
end;

Var A, B: integer;
begin
  ReadLn(A, B);
  If GCD(A, B) <> 1 Then Write('Yes') Else Write('No');
end.

При желании можно и рекурсивно GCD вычислить...

Можно. У нас в начале этого года такая лаба была. Массивом (или сторокой но ею дольше) можно вычислять, если числа очень большие и не влезают ни в один тип данных (десятки разрядов).

Всеже наверное

? mod - остаток от деления а на б, если он НЕ равен нулю значит деления нацело не было.

Ну да.. Я это и имел в виду