Debianer

Сразу бросается в глаза, что у вас в теле функции есть переменная prv, которая нигде не объявлена. Я имею ввиду следующую строку:
prv:=(a + b > c) and (a + c > b) and (b + c > a);