Таких языков в природе не существует. Любой программный код для цифровой вычислительной машины по определению является алгоритмом. То, о чём говорит Новиков Федор - это не императивные, но, безусловно, алгоритмические языки. Декларативные, функциональные, конкатенативные и прочие языки программирования - все они являются алгоритмическими.
Алгоритмический язык программирования — формальный язык, используемый для записи, реализации и изучения алгоритмов. В отличие от большинства языков программирования, алгоритмический язык не привязан к архитектуре компьютера, не содержит деталей, связанных с устройством машины. Исходя из данного определения ВСЕ кроме указанного в определении НЕ "алгоритмические языки программирования"