Основы программирования на языке Пролог
: Информация
Опубликована: 05.04.2011 | Уровень: для всех | Стоимость: 490.00 руб. | Длительность: 14 дней
Курс посвящен изучению основ языка логического программирования Пролог. Общие принципы программирования на Прологе изучаются всюду без привязки к конкретной реализации.
Всюду, где возможно, изучаются общие принципы программирования на Прологе, без привязки к конкретной реализации. При выполнении практических заданий, планируется использовать Турбо Пролог или PDC Пролог. На взгляд автора, это наиболее используемые и распространенные версии Пролога у нас в стране. Кроме всего прочего, эти версии не предъявляют практически никаких требований к аппаратной части компьютера.
Цель: Познакомить с основными принципами программирования на Прологе, научить использовать рекурсию, списки. Дать представление об отличиях алгоритмического и декларативного программирования.
План занятий
Занятие | Заголовок << | Дата изучения |
---|---|---|
- | ||
Лекция 131 минута | Введение в язык логического программирования Пролог
История возникновения и развития Пролога. Японский проект ЭВМ пятого поколения. Императивные и декларативные языки программирования. Области использования Пролога. Пролог - язык начального обучения программированию. Преимущества и недостатки языка Пролог.
Оглавление | - |
Тест 115 минут | - | |
Лекция 244 минуты | Логические основы Пролога
Хорновские дизъюнкты. Принцип резолюций. Алгоритм унификации.Процедура доказательства теорем методом резолюций для хорновских дизъюнктов. Особенности работы с негативными знаниями в Прологе.
Оглавление | - |
Тест 215 минут | - | |
Лекция 341 минута | Основные понятия Пролога
Предложения: факты и правила. Цели внутренние и внешние. Отношения (предикаты). Переменные свободные и связанные. Анонимная переменная. Отсечение. "Зеленые" и "красные" отсечения. Семантические модели Пролога: декларативная и процедурная.
Оглавление | - |
Тест 315 минут | - | |
Лекция 436 минут | Рекурсия
Рекурсия. Достоинства и недостатки рекурсии. Хвостовая рекурсия. Организация циклов на основе рекурсии. Вычисление факториала.
Оглавление | - |
Тест 415 минут | - | |
Лекция 533 минуты | Основы Турбо Пролога. Структура программы на Турбо Прологе. Директивы компилятора
Структура программы на Турбо-Прологе. Домены: стандартные, списковые, составные. Альтернативные домены. Программы: "Родственники", факториал, возведение в степень, числа Фиббоначи.
Оглавление | - |
Тест 515 минут | - | |
Лекция 634 минуты | Управление выполнением программы на Прологе
Метод поиска в глубину. Откат после неудачи. Отсечение и откат. Метод поиска, определяемый пользователем.
Оглавление | - |
Тест 615 минут | - | |
Лекция 743 минуты | Списки
Списки. Рекурсивное определение списка. Операции над списками.
Оглавление | - |
Тест 715 минут | - | |
Лекция 831 минута | Сортировка списков
Рассматривается нахождение суммы элементов списка, среднего и минимального значений; алгоритмы сортировки списков: пузырьковый, выбором, вставкой, слиянием, быстрая сортировка.
Оглавление | - |
Тест 815 минут | - | |
Лекция 948 минут | Множества
Реализация множеств в Прологе. Операции над множествами: превращение списка во множество, принадлежность элемента множеству, объединение, пересечение, разность, включение, дополнение.
Оглавление | - |
Тест 915 минут | - | |
Лекция 1045 минут | Деревья
Бинарные деревья, двоичные справочники и операции над ними.
Оглавление | - |
Тест 1015 минут | - | |
Лекция 1144 минуты | Строки
Обработка строк.
Оглавление | - |
Тест 1115 минут | - | |
Лекция 1244 минуты | Файлы
Описание файлового домена. Стандартные предикаты Турбо-Пролога для работы с файлами. Запись информации в файл. Чтение информации из файла. Переписывание информации из файла в файл.
Оглавление | - |
Тест 1215 минут | - | |
Лекция 1337 минут | Внутренние (динамические) базы данных
Работа с внутренними (динамическими) базами данных: добавление фактов в базу, удаление фактов из базы. Проекты "Телефонный справочник", "Словарь".
Оглавление | - |
Тест 1315 минут | - | |
Лекция 1442 минуты | Пролог и искусственный интеллект
Применение Пролога в области искусственного интеллекта. Тест Тьюринга. Проекты "Электронный психотерапевт", "Самообучающийся определитель животных".
Оглавление | - |
5 часов | - |