Чем отличаются методологии логического и функционального программирования?

Некоторые отличия методологий логического и функционального программирования:

• Основа: функциональное программирование основано на функциях, а логическое — на формальной логике. 1
• Процесс создания программ: в функциональном программировании программы создаются путём применения и компоновки функций. 1 В логическом программировании программные операторы выражают факты и правила, связанные с проблемами в рамках системы формальной логики. 1
• Цели: основная цель функционального программирования — уменьшить побочные эффекты, изолируя их от остального программного кода. 1 Главная цель логического программирования — позволить машинам рассуждать, так как оно полезно для представления знаний. 1
• Области применения: функциональное программирование разработано для управления приложениями символьных вычислений и обработки списков. 1 Логическое программирование предназначено для диагностики неисправностей, обработки естественного языка, планирования и машинного обучения. 1
• Языки программирования: для функционального программирования используют, например, Clojure, Wolfram Language, Erland, OCaml. 1 Для логического программирования — Absys, Cycll, Alice, ALF и другие. 1
• Сложность тестирования: тестирование в функциональном программировании проще, чем в логическом. 1

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