Оглавление
Титульный лист
1. Общие сведения о языке Пролог
2. Элементы языка Турбо-Пролог
3. Структура программ Турбо-Пролога
З.1 Секция domains Пролог-программы
3.2.Секция predicates
3.3.Секция clauses
3.4.Секция goal
3.5.Секция database
4. Оболочка системы Турбо-Пролог
5. Отладка и трассировка программ
Лабораторная работа 1. Работа с простейшими программами в системе Турбо-Пролог
1. Введение
2. Загрузка системы Турбо-Пролог, ввод и запуск программ
3. Работа с Пролог-программами в режиме диалога
4. Трассировка программ в среде системы Турбо-Пролога
5. Работа с программами, содержащими внутреннюю цель
6. Простейшая программа ввода-вывода данных
7. Построение простейшего интерфейса для вывода результатов запросов
8. Содержание отчета по лабораторной работе
Лабораторная работа 2. Пролог-программы как простейшие базы данных и знаний
1. Введение
2. Запросы к базе данных
2.1. Простые запросы
2.2. Составные запросы
2.3. Запросы с анонимными переменными
3. Статические и динамические базы данных
4. Явные и неявные базы данных. Правила логического вывода
5. Использование структур в качестве доменов отношений
6. Процедуры как элемент представления знаний
7. Целостность и непротиворечивость баз данных и знаний
8. Содержание отчета по лабораторной работе
Лабораторная работа 3. Управление ходом выполнения программ в Турбо-Прологе
1. Работа системы Турбо-Пролог при выполнении запросов
2. Унификация термов
3. Поиск с возвратом при выполнении Пролог-программ
4. Использование отката после неудачи при использовании внутренней цели для организации простейшего интерфейса вывода
5. Содержание отчета по лабораторной работе
Лабораторная работа 4. Управление ходом выполнения Пролог-программ
1. Организация повторяющихся процессов
2. Управление поиском с возвратом
3. Управление ходом выполнения программ с использованием отсечения
4. Использование метода отката и отсечения
5. Откат и отсечение при реализации отношений вида "один-ко-многим"
6. Ступенчатые функции и отсечение
7. Содержание отчета по лабораторной работе
Лабораторная работа 5. Рекурсия и рекурсивные процедуры в Прологе
1. Определение понятия рекурсии
2. Состав рекурсивной процедуры
3. Особенности выполнения рекурсивных процедур Пролог-системой
4. Пример рекурсивной процедуры поиска длины маршрута на графе
5. Ограничения и свойства, обеспечивающие целостность отношения
6. Содержание отчета по лабораторной работе
Лабораторная работа 6. Списки и процедуры их обработки
1. Списки как рекурсивные структуры данных
2. Использование списков в Пролог-программах
3. Простейшие процедуры работы со списками
4. Процедуры обработки списков
5. Компоновка данных в список
6. Содержание отчета по лабораторной работе
Лабораторная работа 7. Способы представления баз данных в Пролог-программах
1. Введение
2. Представление отношений в виде фактов
3. Представление атрибутов в виде фактов
4. Представление базы данных в виде списка структур
5. Представление базы данных в виде линейной рекурсивной структуры
6. Представление базы данных в виде двоичного дереза
7. Сравнение разных видов представления базы данных
8. Несколько полезных процедур работы с бинарными деревьями
9. Содержание отчета по лабораторной работе
Лабораторная работа 8. Динамические базы данных в Турбо-Пролог
1. Введение
2. Простейшие приемы работы с динамическими БД
3. Связь статических и динамических баз данных
4. Процедура работы с динамической БД, обучающаяся у пользователя
5. Расширение базы данных в файлы
6. Содержание отчета по лабораторной работе
Лабораторная работа 9. Работа со сложноструктурированными базами данных
1. Задание на лабораторную работу
2. Описание логической модели данных
3. Получение структурированной информации из базы данных
4. Абстракция данных и построение баз знаний
5. Содержание отчета по лабораторной работе
Приложение 1. Служебные предикаты Турбо-Пролога
Приложение 2. Правила вычисление атрибутов экрана.
Приложение 3. Пример организации простейшей СУБД на Турбо-Прологе
Литература