Процедурный язык программирования высшего уровня