1) св. мученик, родом из города Калипты близ Анкиры; был распят за Христа в начале II в.; 2) священномученик (диакон), обезглавлен около 305 г. в Италии.
Значение ПРОКЛ, МУЧЕНИК в Энциклопедическом словаре Брокгауза и Евфрона
Что такое ПРОКЛ, МУЧЕНИК
Брокгауз и Ефрон. Брокгауз и Евфрон, энциклопедический словарь. 2012