Шумихин / Шумихин / Шумихин - лекция 1

ЛЕКЦИЯ 1

Декларативное программирование: текст программы представляет собой набор неких правил, утверждений, фактов, которые описывают поставленную задачу. И ничего более.
А управление последовательностью вычислений полностью перекладывают на плечи вычислительной системы. Это даёт возможность описывать модель на понятном человеку формальном языке.

Преимущества:
1. Сам текст программы -- это набор деклараций на формальном языке программирования.
2. Тексты программ становятся читаемыми и легко понимаемыми.
3. Средствами математической логики можно полностью исследовать теорию.

Недостатки:
1. Управление вычислительным процессом не будет оптимальным, т.к. оно переложено на плечи вычислительной машины.

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

Декларанивное программирование делится на:
- логическое;
- функциональное.

Логическое программирование представляет собой набор отношений, которые связывают входные параметры с выходными.
p(input, output)

Функциональне программирование -- это набор деклараций, который задаёт функции в широком понимании этого слова, аргументом которых является некоторый набор параметров и которые выдают соответствующий выходной параметр.
output = f(input)

Пролог -- сокращение от "программирование логическое". Язык логического программирования.
Лисп -- (list programming) язык функционального программирования.

В Прологе и Лиспе нет:
- оператора присваивания;
- циклов;
- переменных.

В логическом программировании входные и выходные данные равноправны: p(input, output). Поэтому логическое программирование позволяет решить как прямую, так и обратную задачу. Притом можно задавать только часть параметров и получить ответ, какими должны быть остальные параметры.
В функциональном программировании всё не так просто.

Версии Пролога:
Turbo Prolog -- переходное звено между чистым и объектно-ориентированным прологом
SWI Prolog -- чистый пролог, не имеет среды разработки, академический язык
Visual Prolog -- объектно-ориентированный пролог

Все три надо поставить. ДЗ делать на SWI или на ViP.

forum.imem.onu.edu.ua
___________________________________________________