Декларативное программирование Лекция 1. План 1.Парадигмы программирования 2.Классификация языков программирования. Основные концепции парадигм функционального. - презентация

1 Декларативное программирование Лекция 1

2 План 1.Парадигмы программирования 2.Классификация языков программирования. Основные концепции парадигм функционального и логического программирования 3.История языков ЛИСП и ПРОЛОГ

3 Литература 1.Братко И. Алгоритмы искусственного интеллекта на языке Prolog. – М. : Вильямс, – 637 с. 2.Шрайнер П.А. Основы программирования на языке Пролог : курс лекций : учебное пособие для вузов по специальностям информационных технологий. – М. : Интернет-Университет Информационных Технологий, – 172 с. 3.Новицкая Ю.В. Основы логического и функционального программирования : учебное пособие. – 4.Языки программирования. – М. : Новый Диск : ИНТУИТ.ру, – 1 электрон. опт. диск (CD-ROM) 5.Чанышев О.Г. ПРОграммирование в ЛОГике. – Омск : Изд-во ОмГУ, – 63 с. 6.Городняя Л.В. Основы функционального программирования. – М. : ИНТУИТ.РУ, – 272 с. 7.Непейвода Н.Н. Стили и методы программирования. – М. : ИНТУИТ.РУ, – 316 с.

4 Парадигмы программирования Агентно-ориентированная Компонентно-ориентированная Конкатенативная Декларативная Ограничениями Функциональная Потоком данных Таблично-ориентированная (электронные таблицы) Реактивная Логическая Событийно-ориентированная Сервис-ориентированная Комбинаторная Императивная Процедурная Предметно-ориентированная Метапрограммирование Автоматизация процесса программирования Обобщённое программирование Рефлексивно-ориентированная Итерационная Параллельная Структурная Модульная Рекурсивная Объектно-ориентированная Автоматная Разделение ответственности: Аспектно- ориентированная Субъектно- ориентированная Прототип-ориентированная

5 Классификация ЯП

6 История языков ЛИСП и ПРОЛОГ Ален Кольмеро Джон МакКарти

7 Пример программы Факты Воробей – это птица. Воробей – родитель птенца. Правило вывода Некто является птицей при условии, что у него есть родитель – птица. Программа птица (воробей). птица (X):– родитель (Y, X), птица (Y). родитель (воробей, птенец). Запрос птица (Z) Все возможные решения: Z = воробей Z = птенец