Логическая программа: основные конструкции

Лекция №1

Выводы

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

Учитывая положения, изложенные в предыдущих параграфах можно определить признаки функциональных задач, которые целесообразно решать с использованием средств функционального или логического программирования. Поскольку четких и однозначных рекомендаций по выбору стиля программирования в общем случае рассмотрения функциональной задачи нет, можно привести определенный набор эвристических правил, позволяющих определиться при выборе подходов к решению конкретной задачи. Языки функционального и логического программирования следует применять в следующих случаях:

• алгоритм решения задачи неизвестен или его разработка сопряжена со значительными трудозатратами;

• задача не критична по затратам ресурсов вычислительной системы, но требует больших затрат времени программиста.

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

Императивная парадигма ориентируется на спецификацию путей получения решения, а декларативная – на спецификацию искомого решения.

В функциональном программировании искомое решение описывают с помощью функций, в логическом программировании – с помощью логических отношений.

Функциональное и логическое программирование предназначены для искусственного интеллекта и символьных вычислений.

Логическая программа – это множество аксиом и правил, задающих отношения между объектами. Вычислением логической программы является вывод следствий из программы. Программа задает множество следствий, которое и представляет собой значение программы. Искусство логического программирования состоит в построении ясных и изящных программ с требуемым значением.

Основные конструкции логического программирования – термы и утверждения – заимствованы из логики. Имеются три основных вида утверждений: факты, правила и вопросы. Имеется единственная структура данных: логический терм.