Встал такой вопрос. Гугл не очень помогает в нем.

Что общего между функциональным и логическим программированием? И в чем различие в функциональном и логических подходах?

Заранее благодарен за ответ

Есть море литературы, даже книг на русском. Я молчу про количество статей. Даже в Педивикии есть статья про каждую парадигму.


Хороший подход. Если в гугле нет готового ответа, сразу бежим на Форум. Уважаю.  


И то, и другое, ЧСХ, есть модели (парадигмы) программирования.   Можно увидеть и нечто общее, противопоставляя эти две модели третьей, модели императивного программирования...


В основе этих моделей лежат разные математические теории.

Тебе это зачем надо?

А какая математическая теория у логических языков ? Мне для общего развития   


Да даже если есть )

Как правило - исчисление предикатов первого порядка (например, для Пролога это так).

логическое программирование есть подмножество функционального в том смысле, что логическое основано на аппарате мат. логики и использует резолюции. логика и резолюции суть функции.
например, "прологообразное"

и выглядит и обрабатывается вполне функционально. в частности, переменные отсутствуют как класс.

что касается аппарата, то модель в логическом языке представлена набором утверждений (аксиом, хорновых предложений). это может быть и простое утверждение типа мужчина(иван) и правило вывода типа мать(X,Y):-родитель(X,Y),женщина(X).
логический язык на основе имеющихся утверждений выводит новые утверждения для доказательства теоремы, сформулированной как вопрос к системе:

таким образом, сформулированная теорема верна (при сопоставлении X с петр или ольга)

откуда такой вывод? ФП основано на лямбда-исчислении Черча, а ЛП на (например) логике исчисления предикатов первого порядка. у них совсем разные базисы