Использование Турбо-Пролога

Предисловие
Для чего нужен Турбо-Пролог ?
Что такое Пролог ?
Турбо-Пролог и другие языки программирования
Кому предназначена эта книга ?
Что включено в настоящую книгу ?

Глава 1. Начала работы на Турбо-Прологе.

1.1. Введение
1.2. Пакет системы Турбо-Пролог
1.2.1. Турбо-Пролог версии 1.1
1.2.2. Установка системы Турбо-Пролог версии 1.1
1.3. Запуск Турбо-Пролога
1.3.1. Главное меню системы Турбо-Пролог
1.3.2. Запуск на счет программы, написанной на Турбо-Прологе
1.3.3. "Добро пожаловать в систему Турбо-Пролог!"
1.3.4. Сохранение программного файла
1.3.5. Просмотр каталога директории
1.3.6. Загрузка и редактирование программного файла
1.3.7. Печать файла
1.4. Заключение

Глава 2. Основные понятия языка Турбо-Пролог

Введение
2.1. Декларативные и императивные языки
2.1.1. Логика предикатов
2.1.2. Пролог и логика предикатов
2.2. Управление программой
2.2.1. Цели программы
2.2.2. Решение задачи
2.2.3. Результат доказательства цели
2.2.4. Связки и другие символы
2.2.5. Цели и подцели
2.3. Внутренние подпрограммы унификации Турбо-Пролога
2.3.1. Представление данных при помощи фактов и правил
2.3.2. Обработка правил и фактов во время внутренней унификации
2.3.3. Откат
Заключение

Глава 3. Основы программирования на Турбо-Прологе

3.1 Введение
3.2. Структура программ Турбо-Пролога
3.2.1. Описание доменов и предикатов
3.2.2. Правила образования имен в Турбо-Прологе
3.3. Предикаты и утверждения
3.3.1. Использование внешних и внутренних целей
3.3.2. Предикаты и утверждения разных арностей
3.3.3. Использование правил в запросах
3.3.4. Простые базы данных
3.3.5. Отрицание
3.3.6. Использование составных объектов
3.3.7. Использование альтернативных доменов
3.4. Арифметика в Турбо-Прологе
3.5. Заключение

Глава 4. Повторение и рекурсия

Введение
4.1. Программирование повторяющихся операций
4.2. Повторение и откат
4.3. Методы повторения
4.3.1. Методы отката после неудачи
4.3.2. Метод отсечения и отката (ОО)
4.3.3. Метод повтора (МП), определяемый пользователем
4.4. Методы организации рекурсии
4.4.1. Простая рекурсия
4.4.2. Метод обобщенного правила рекурсии (ОПР)
Обзор содержания главы
Листинги программ

Глава 5. Использование списков

5.1. Введение
5.2. Списки и Турбо-Пролог
5.2.1. Атрибуты списка.
5.2.2. Графическое представление списков.
5.3. Применение списков в программе.
5.4. Использование метода с разделением списка на голову и хвост.
5.5. Различные операции над списками.
5.5.1. Поиск элемента в списке.
5.5.2. Деление списков.
5.5.3. Присоединение списка.
5.5.4. Сортировка списков.
5.6. Компоновка данных в список.
5.7. Заключение.

Глава 6. Использование строк.

6.1. Множество символов Турбо-Пролога.
6.2. Использование кодов ASCII для "записи" символов.
6.3. Присваивание переменным строковых значений.
6.4. Длина строки.
6.5. Конкатенация строк.
6.6. Создание подстрок.
6.7. Преобразование данных.
6.8. Преобразования, определяемые пользователем.
6.9. Создание символьных префиксов.
6.10.Преобразование строк в список символов.
6.11.Специальные строки Турбо-Пролога.
6.12.Формирование атомов из строк.
6.13.Преобразование строк в списки атомов с функторами.
Обзор содержания главы.
Листинги программ.

Глава 7. Использование файлов на внешних носителях.

7.1. Введение.
7.2. Конфигурация компьютера.
7.2.1. Физические и логические устройства.
7.2.2. Стандартная конфигурация устройств.
7.2.3. Расширенная конфигурация устройств.
7.3. Предикаты Турбо-Пролога для работы с файлами.
7.3.1. Описание файлового домена.
7.3.2. Запись в файл.
7.3.3. Чтение из файла.
7.3.4. Модификация существующего файла.
7.3.5. Дозапись в конец уже существующего файла.
7.4. Средства проектирования программ.
7.5. Использование предикатов для работы с файлами.
7.5.1. Создание нового файла.
7.5.2. Чтение из уже существующего файла.
7.5.3. Запись в файл данных, вводимых с клавиатуры.
7.5.4. Чтение файла на диске с последующей выдачей на экран и принтер.
7.5.5. Создание файла, содержащего символьную информацию.
7.5.6. Считывание символов из файла.
7.6. "Дружественные пользователю" программы для обработки файлов.
7.6.1. Запись данных в файл.
7.6.2. Чтение из файла.
7.7. Дозапись данных в файл.
7.8. Использование файлов прямого доступа.
7.8.1. Запись в файл прямого доступа.
7.8.2. Чтение из файла прямого доступа.
7.9. Заключение.

Глава 8. Использование окон, графики и звука.

Введение.
8.1. Использование предикатов для работы с окнами.
8.1.1. Создание окон предикатом makewindow.
8.1.2. Использование других предикатов для работы с окнами.
8.2. Использование окон для ввода и вывода.
8.3. Программы, использующие окна.
8.3.1. Вывод текста в окно.
8.3.2. Создание нескольких окон.
8.3.3. Создание перекрывающихся окон.
8.3.4. Создание меню при помощи окон.
8.4. Использование графики в программе.
8.4.1. Разрешающая способность изображения и режимы графического адаптера.
8.4.2. Предикат graphics.
8.4.3. Предикат makewindow.
8.4.4. Предикаты line и dot.
8.4.5. Сводка по графическим режимам и значениям параметров для них.
8.5. Изображение обьектов предикатами line и dot.
8.5.1. Изображение окружности.
8.5.2. Реализация простых изображений.
8.6. Деловая графика.
8.6.1. Линейный график.
8.6.2. Простая столбиковая диаграмма.
8.6.3. Круговая диаграмма.
8.7. Использование графики черепашки (Turtle graphics).
8.7.1. Предикаты графики черепашки.
8.7.2. Графические рисунки.
8.7.3. Абстрактные рисунки. Движущаяся спираль.
8.8. Использование звука и музыки.
8.8.1. Предикаты генерации звука.
8.8.2. Музыкальные фрагменты.
8.8.3. Несложная программа компьютерного обучения с музыкальными фрагментами.
Заключение.
Надписи на рисунках.
Листинги программ.

Глава 9. Создание динамических баз данных

9.1. Введение.
9.2. Основные сведения о базах данных.
9.2.1. Файл базы данных.
9.2.2. Реляционные базы данных.
9.2.3. Базы данных в Турбо-Прологе.
9.2.4. Предикаты динамической базы данных в Турбо-Прологе.
9.3. Создание базы данных, располагающейся в оперативной памяти.
9.3.1. Обсуждение проекта базы данных.
9.3.2. Создание базы данных.
9.3.3. Написание программных модулей.
9.3.4. Футбольная база данных.
9.4. Создание базы данных, располагающейся на диске.
9.4.1. Обсуждение проекта.
9.4.2. Создание базы данных.
9.4.3. Программа базы данных "Университетский футбол".
9.5. Возможные улучшения системы управления базами данных.
9.6. Заключение.

Глава 10. Создание экспертных систем.

Введение.
10.1. Принципы построения экспертных систем.
10.2. Структура экспертных систем.
10.3. Представление знаний.
10.4. Методы вывода.
10.5. Система пользовательского интерфейса.
10.6. Экспертная система на правилах.
10.7. Экспертные системы, базирующиеся на логике.
10.8. Главное в разработке экспертных систем.
10.9. База знаний для выбора породы собаки.
10.10.Проектирование и реализация системы, базирующейся на правилах.
10.11.Расширенная экспертная система, базирующаяся на логике.
10.12.Построение медицинской диагностической экспертной системы.
Обзор главы.
Название рисунков.
Перевод рисунков.
Листинги программ.

Глава 11. Общение с компьютером на естественном языке.

11.1. Введение.
11.2. Различные подходы к проблеме общения на естественном языке.
11.3. Простейший интерфейс 1  0с использованием ключевых слов.
11.4. Программа создания списков.
11.5. Программа идентификации ключевых слов.
11.6. Программа естественно-языкового интерфейса с футбольной базой данных.
11.7. Контестно-свободный анализ.
11.7.1. Простейшие модели предложений для КС-анализа.
11.7.2. Программа лексического анализатора предложений.
11.7.3. Программа КС-анализатора предложений.
11.8. Заключение.

Глава 12. Игры и головоломки.

Введение.
12.1. Решение задач в играх и головоломках.
12.2. Игры в отгадывание числа.
12.2.1. Анализ проекта.
12.2.2. План игры.
12.2.3. Программа для игры в отгадывание числа.
12.3. Игра в 23 спички.
12.3.1. Обсуждение проекта.
12.3.2. Программа простой игры в "23 спички".
12.3.3. Интеллектуальная игра в "23 спички".
12.4. Задача "Обезьяна и бананы".
12.4.1. Разработка программы.
12.4.2. Программа "Обезьяна и бананы".
12.5. Задача "Воссоединение семьи Смита".
12.5.1. Формулировка задачи.
12.5.2. Разработка алгоритма программы.
12.5.3. Программа "Воссоединение семьи Смита".
12.6. Пользовательский интерфейс.
12.7. Обзор главы.
Название рисунков.
Надписи на рисунках.
Листинги программ.

Приложение А. Использование редактора Турбо-Пролога.

А.1. Основные команды редактирования.
А.1.1. Управление курсором.
А.1.2. Удаление текста.
А.1.3. Выбор режима вставки или режима замены.
А.1.4. Автоматическое выравнивание.
А.1.5. Изменение размеров окна редактора.
А.1.6. Использование подсказки.
А.2. Дополнительные команды редактирования.
А.2.1. Выделение фрагмента текста.
А.2.2. Использование команд поиска.
А.2.3. Использование вспомогательного редактора.
А.2.4. Копирование текста из другого файла.

Приложение В. Дополнительные сведения о Турбо-Прологе.

В.1. Системные опции Турбо-Пролога.
В.1.1. Команда Сомрile.
В.1.2. Команда Edit.
В.1.3. Команда Options.
В.1.4. Команда Files.
В.1.5 Команда SetUp.
В.2. Компиляция и редактирование программы на Турбо-Прологе.
В.3. Трассировка программы.

Приложение С. Основные команды и утилиты DOS.

С.1. Команды работы с диском.
С.1.1. Форматирование диска (FORMAT).
С.1.2. Копирование диска (DISKCOPY).
С.2. Команды работы с директориями.
С.2.1. Использование пути доступа.
С.2.2. Cmeна текущего диска.
С.2.3. Просмотр каталога директории.
С.2.4. Создание новой директории (MD или MKDIR).
С.2.5. Смена текущей директории (CD или CHDIR).
С.2.6. Удаление директории (RD или RMDIR).
С.3. Команды работы с файлами.
С.3.1. Имена файлов.
С.3.2. Использование неопределенных символов.
С.3.3. Копирование файлов (COPY).
С.3.4. Удаление файла (DEL или ERASE).
С.3.5. Переименование файла (REN или RENAME).
С.3.6. Просмотр содержимого текстового файла (TYPE).
С.3.7. Печать текстового файла (PRINT).

Приложение D. Глоссарий терминов.

Приложение E. Литература.

Приложение F. Встроенные предикаты Турбо-Пролога.

F.1. Функциональные группы предикатов.
F.2. Алфавитный список предикатов.