Автор: Павел Шрайнер | Сибирский университет потребительской кооперации
Форма обучения:
дистанционная
Стоимость самостоятельного обучения:
бесплатно
Стоимость обучения с персональным тьютором:
500 руб. [?]
Доступ:
свободный
Документ об окончании:
 
Уровень:
Для всех
Длительность:
12:28:00
Студентов:
3725
Выпускников:
1045
Качество курса:
4.45 | 4.22
Курс посвящен изучению основ языка логического программирования Пролог. Общие принципы программирования на Прологе изучаются всюду без привязки к конкретной реализации.
Всюду, где возможно, изучаются общие принципы программирования на Прологе, без привязки к конкретной реализации. При выполнении практических заданий, планируется использовать Турбо Пролог или PDC Пролог. На взгляд автора, это наиболее используемые и распространенные версии Пролога у нас в стране. Кроме всего прочего, эти версии не предъявляют практически никаких требований к аппаратной части компьютера.
ISBN: 978-5-9556-0034-5
 

План занятий

Занятие
Заголовок <<
Дата изучения
Лекция 1
31 минута
Введение в язык логического программирования Пролог
История возникновения и развития Пролога. Японский проект ЭВМ пятого поколения. Императивные и декларативные языки программирования. Области использования Пролога. Пролог - язык начального обучения программированию. Преимущества и недостатки языка Пролог.
-
Лекция 2
44 минуты
Логические основы Пролога
Хорновские дизъюнкты. Принцип резолюций. Алгоритм унификации.Процедура доказательства теорем методом резолюций для хорновских дизъюнктов. Особенности работы с негативными знаниями в Прологе.
-
Лекция 3
41 минута
Основные понятия Пролога
Предложения: факты и правила. Цели внутренние и внешние. Отношения (предикаты). Переменные свободные и связанные. Анонимная переменная. Отсечение. "Зеленые" и "красные" отсечения. Семантические модели Пролога: декларативная и процедурная.
-
Лекция 4
36 минут
Рекурсия
Рекурсия. Достоинства и недостатки рекурсии. Хвостовая рекурсия. Организация циклов на основе рекурсии. Вычисление факториала.
-
Лекция 5
33 минуты
Основы Турбо Пролога. Структура программы на Турбо Прологе. Директивы компилятора
Структура программы на Турбо-Прологе. Домены: стандартные, списковые, составные. Альтернативные домены. Программы: "Родственники", факториал, возведение в степень, числа Фиббоначи.
-
Лекция 6
34 минуты
Управление выполнением программы на Прологе
Метод поиска в глубину. Откат после неудачи. Отсечение и откат. Метод поиска, определяемый пользователем.
-
Лекция 7
43 минуты
Списки
Списки. Рекурсивное определение списка. Операции над списками.
-
Лекция 8
31 минута
Сортировка списков
Рассматривается нахождение суммы элементов списка, среднего и минимального значений; алгоритмы сортировки списков: пузырьковый, выбором, вставкой, слиянием, быстрая сортировка.
-
Лекция 9
48 минут
Множества
Реализация множеств в Прологе. Операции над множествами: превращение списка во множество, принадлежность элемента множеству, объединение, пересечение, разность, включение, дополнение.
-
Лекция 10
45 минут
Деревья
Бинарные деревья, двоичные справочники и операции над ними.
-
Лекция 11
44 минуты
Строки
Обработка строк.
-
Лекция 12
44 минуты
Файлы
Описание файлового домена. Стандартные предикаты Турбо-Пролога для работы с файлами. Запись информации в файл. Чтение информации из файла. Переписывание информации из файла в файл.
-
Лекция 13
37 минут
Внутренние (динамические) базы данных
Работа с внутренними (динамическими) базами данных: добавление фактов в базу, удаление фактов из базы. Проекты "Телефонный справочник", "Словарь".
-
Лекция 14
42 минуты
Пролог и искусственный интеллект
Применение Пролога в области искусственного интеллекта. Тест Тьюринга. Проекты "Электронный психотерапевт", "Самообучающийся определитель животных".
-
1 час 40 минут
-
Владимир Крюков
Владимир Крюков
Казахстан