Формальный непроцедурный язык программирования