4.5 Логічне програмування Змістові модулі

1. Факти і правила. Типи тверджень у програмі на Пролозі. Статичні та динамічні факти у програмі на Пролозі. Вплив характеристик предикатів на створення фактів та роботу програми на Пролозі.

2. Основні поняття мови Пролог. Секції програми на Пролозі та принцип їх розташування. Основний та побічний ефекти стандартних предикатів. Стандартний предикат „=” у програмі на Пролозі. Стандартні предикати Прологу для роботи з динамічною базою даних. Змінна в умовному твердженні на Пролозі та область її дії.

3. Механізми Прологу. Механізм звороту у Пролозі та його дії. Рекурсивні методи у програмі на Пролозі .Типи рекурсивних методів.

4. Стандартні предикати Прологу для роботи з рядками. Стандартні предикати Прологу для роботи з рядками; їх режими роботи. Рекурсивна обробка рядків на Пролозі.

5. Обробка списків на Пролозі. Оголошення списків у програмі на Пролозі; форми запису списків; увід вивід списків. Основна операція на списках у Пролозі. Залежність дій основної операції на списках від конкретизації змінних. Рекурсивна обробка списків на Пролозі.

6. Робота з файлами на Пролозі. Стандартні предикати роботи з файлами на Пролозі для послідовного та прямого методів доступу. Стандартні предикати Прологу для уводу – виводу.

Література

1. Анатолий Адаменко, Андрей Кучуков Логическое программирование и Visual Prolog. - Санкт-Петербург: БХВ-Петербург, 2003. - 990с.

2. Логічне програмування. Конспект лекцій для студентів спеціальності 8. 080403 ІОТ факультету. Для всіх форм навчання. 2005. - 120с.

3. Ц. Ин, Д. Соломон. Использование - Турбо Пролога. - М.: Мир,1993. - 606с.

4.6 Функціональне програмування Змістові модулі

1. Парадигма функціонального програмування. Лісп - мова функціонального програмування. Динамічна типізація змінних у мові Лісп.

2. Основні поняття мови LISP. Поняття символу у мові Лісп; зовнішнє та внутрішнє подавання символу. Конси та списки у мові Лісп; їх зовнішнє та внутрішнє подавання. Базові функції мови Лісп: CAR, CDR, CONS, SET, SETQ, LIST. Поняття S-виразу у мові Лісп. Функція QUOTE. Цикл роботи інтерпретатору READ-EVAL-PRINT

3. Робота з консами та списками у мові Лісп. Робота зі списками та консами мови Лісп за допомогою функцій відбору. Функції конструктори списків та консів у мові Лісп.

4. Засоби побудови функцій користувача на мові Лісп. Реалізація функцій користувача на мові Лісп суворо функціональним засобом. Реалізація функцій користувача імперативним засобом на мові Лісп.

5. Керування виконанням програми на мові Лісп. Функції компаратору у мові Лісп. Спеціальні форми, що розгалужують виконання функції користувача. Спеціальна форма PROGN. Організація циклів за допомогою рекурсії.

6. Робота з файлами у мові Лісп. Вхідний та вихідний потоки даних у мові Лісп. Відкриття та закриття файлу у мові Лісп. Універсальні функції уводу та виводу у мові Лісп.

Література

1. Конспект лекцій з дисципліни „Функціональне програмування” для студентів спеціальності „Програмне забезпечення автоматизованих систем” напряму 6.050103 „Програмна інженерія” всіх форм навчання” ч.1. / Укл.: І.В. Левада. - Запоріжжя: ЗНТУ, 2010. - 90с.

2. Хювенен Е. «Мир Лиспа. Введение в язык ЛИСП и функциональное программирование» (том 1) - М.: Мир. 1990. - 447с.

3. Хювенен Е. «Мир Лиспа. Введение в язык ЛИСП и функциональное программирование» (том 2) - М.: Мир. 1990. - 332с.