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