Форум программистов [Powered by Invision Power Board]

Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > Функциональные языки: общие вопросы > Функциональное и логическое программирование

Автор: ILyAHA 14.6.2010, 18:40

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

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

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

Автор: kemiisto 15.6.2010, 00:31

Цитата(ILyAHA @ 14.6.2010, 19:40

)

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

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

Цитата(ILyAHA @ 14.6.2010, 19:40

)

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

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

Цитата(ILyAHA @ 14.6.2010, 19:40

)

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

И то, и другое, ЧСХ, есть модели (парадигмы) программирования. smile

Можно увидеть и нечто общее, противопоставляя эти две модели третьей, модели императивного программирования...

Цитата(ILyAHA @ 14.6.2010, 19:40

)

И в чем различие в функциональном и логических подходах?

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

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

Автор: A5uKa 30.11.2010, 09:05

Цитата

разные математические теории

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

Цитата

Если в гугле нет готового ответа, сразу бежим на Форум.

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

Автор: Фантом 1.12.2010, 00:33

Цитата(A5uKa @ 30.11.2010, 09:05

)

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

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

Автор: baldina 3.2.2011, 18:25

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

Код


мужчина(иван)
мужчина(петр)
женщина(елена)
женщина(ольга)
родитель(иван,петр)
родитель(иван,ольга)
родитель(елена,петр)
родитель(елена,ольга)
мать(X,Y):-родитель(X,Y),женщина(X)
отец(X,Y):-родитель(X,Y),мужчина(X)

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

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

Код


?мать(елена,X)
X=петр, ольга

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

Автор: k0rvin 26.2.2011, 21:12

Цитата(baldina @ 3.2.2011, 18:25)

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

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