Под непроцедурным языком я имела ввиду Prolog и ему подобные. А что касается прочих ваших рассуждений, то нам они пофигу - как писали на C/C++, так и будем писать! :) Потому что в микропроцессорном программировании важно до предела минимизировать on-run работы, даже если это будет в ущерб удобству программиста.