Лекция 1
1.1 Пример программы: родственные отношения.
1.2 Факты.
1.3 Вопросы.
1.4 Переменные.
1.5 Конъюнкция целей.
1.6 Правила.
1.7 Конъюнкция в правилах.
1.8 Переменные в теле правила.
1.9 Cтруктура пролог-программы.
Лекция 2
2.1 Синтаксис ПРОЛОГА.
2.1.1 Константы.
2.1.2 Переменные.
2.1.3 Структуры.
2.1.4 Операторы - тоже функторы.
2.2 Арифметика.
2.3 Операции сравнения.
2.4 Сопоставление.
2.5 Второе значение операции = в Прологе.
2.6 Примеры сопоставления структур.
Лекция 3
3.1 Декларативная семантика Пролог-программ
3.2 Дизъюнкция целей
3.3 Процедурная семантика
3.3.1 Пример вычисления
3.3.2 Формальное описание процедуры вычисления целей
3.4 Соотношение между процедурным и декларативным смыслом
Лекция 4
4.1 Списки
4.1.1 Представление списка диаграммой
4.1.2 Выделение головы и хвоста списка
4.1.3 Шаблоны списков
4.1.4 Определения отношений через cons форму списка
4.2 Процедуры обработки списков
4.2.1 member
4.2.2 append
4.2.3 Применение append
4.2.4 reverse
4.2.5 Длина списка
4.3 Встроенные предикаты
4.3.1 Простые встроенные предикаты ввода-вывода.
4.3.2 Процедурный смысл встроенных предикатов ввода-вывода.
4.4 Ввод-вывод списков.
4.4.1 Ввод-вывод списка как терма.
4.4.2 Поэлементный ввод-вывод списка.
Лекция 5
5.1 Отсечение.
5.1.1 Графическая иллюстрация действия cut.
5.1.2 Пример действия cut.
5.1.3 Применение cut при выборе альтернатив.
5.1.4 Формальное описание действия отсечения.
5.2 Применение отсечения.
5.2.1 minimum(X, Y, M).
5.2.2 Добавление элемента без дублирования.
5.2.3 Классификация.
5.2.4 Отсечение в численной рекурсии.
5.2.5 Замечания при использовании отсечения.
5.3 Сортировка списков.
5.3.1 Метод наивной сортировки.
5.3.2 Метод пузырька.
5.3.3 Mетод вставки.
5.3.4 Быстрая сортировка quick.
Лекция 6
6.1 Отрицание как неудача. (not as failure).
6.2 Алгоритм поиска на Прологе.
6.3 Чтение и запись информации с файлов.
6.3.1 Обработка входных потоков.
6.3.2 Обработка выходных потоков.
6.4 Обработка символов.
6.4.1 put(X)
6.4.2 get(X)
6.4.3 get0(X)
6.5 Три предиката ARITY-prologa.
Лекция 7
7.1 Встроенные предикаты
7.1.1 repeat.
7.1.2 Проверка типа терма
7.2 Метапредикаты. (Встроенные предикаты обработки термов.)
7.2.1 Создание и декомпозиция термов
7.2.1.1 Т=..L
7.2.1.2 functor
7.2.1.3 arg
7.2.2 Предикаты работы с базой данных
7.3 Поиск в лабиринте
7.4 Сравнительная характеристика языков программирования.
Лекция 8
1 Операции (Операторы).
1.1 Приоритет оператора
1.2. Тип оператора
1.3.Объявление операций
2 Поиск.
2.1 Поиск в Прологе
2.2 Поиск в глубину
2.3 Поиск в ширину
2.4 Резюме Поиска
Лекция 9
1 Введение.
2 Поиск с предпрочтением.
Лекция 10
1 Постановка задачи и определения
2 Пример грамматики
3 Пример разбора в ручную
4 Реализация грамматического разбора на Прологе.
Лекция 11
1. Постановка задачи
2. Решение
Лекция 12
1. Постановка задачи
2. Решение
Лекция 13
1. Введение
2. Раскрашивание плоской карты
Лекция 14
1. Игровые программы.
1.2 Правила игра "Быки и Коровы".
2. Программа "Быки и Коровы".