Да, стоит почитать книги по вышеприведённой ссылке.
А терминология весьма размыта - как обычно...

> -- kemiisto писал(а):
> Соответственно, существуют 2 крупных группы языков программирования: императивные и декларативные.Программа на императивном языке определяет,  надо вычислить, а на декларативном -  надо вычислить.
Про "как" и "что" - расхожая трепотня, ничего не выражающая. В декларативе тоже задаётся, "как". Машина думать не умеет, как бы она тогда получала результат? Просто в декларативном программировании есть некий встроенный алгоритм, который параметризуется программой и работает (например, в Прологе - унификация, в Рефале - сопоставление с образцом и подстановка и т.п.).
Можно условно сказать, что императив описывает процессы, а декларатив - связи либо соотношения между данными и операциями.