- •Глава 1. Введение в пролог
- •1. Декларативные и процедурные языки программирования
- •2. Пролог и логика предикатов. Внешние цели
- •3. Управление программой. Подцели. Механизм сопоставления
- •4. Внутренние подпрограммы унификации
- •Глава 2. Внутренние цели. Механизм возврата
- •1. Структура пролог-программы
- •2. Использование внутренних целей
- •4. Сокращенные варианты внутренних запросов
- •5. Использование в запросах анонимных переменных
- •6. Механизм возврата
- •3. Встроенный предикат fail
- •Глава 3. Типы данных и арифметика Turbo Prolog
- •1. Стандартные типы данных
- •2. Структуры, простые и составные
- •3. Структурные диаграммы
- •4. Использование в запросах анонимных переменных
- •5. Использование альтернативных доменов
- •6. Арифметика в Turbo Prolog
- •Глава 4. Предикат отсечения (!). Программирование альтернатив. Правила повтора
- •1. Повторения и возвраты
- •2. Отсечение (!)
- •3. Программирование альтернатив
- •4. Правило повтора
- •Глава 5. Методы организации рекурсии
- •1. Простая рекурсия
- •2. Метод обобщенного правила рекурсии
- •3. Граничное условие рекурсии. Нисходящая и восходящая рекурсии
- •4. Программа о подсчете числа точек
- •Глава 6. Списки
- •1. Основные понятия
- •2. Списки и турбо-пролог
- •3. Атрибуты списка
- •4. Внутреннее представление списков
- •5. Применение списков в программе
- •6. Метод разделения списка на голову и хвост
- •7. Поиск элемента в списке
- •8. Присоединение списка
- •9. Добавление и удаление элемента
- •10. Подсписок
- •11. Перестановки списка
- •Глава 7. Сортировка списков
- •1. Разделение списка на два
- •2. Сортировка списков методом вставки
- •3. Быстрая сортировка
- •4. Быстрая сортировка_1
- •5. Компоновка данных в список
- •Глава 8. Программирование алгоритмов с возвратом. Представление графов в turbo prolog
- •1. Задача о весах
- •2. Представление графов в turbo prolog
- •3. Поиск пути на неориентированном графе
- •4. Поиск гамильтоновых циклов
- •5. Поиск пути минимальной стоимости
- •Глава 9. Динамическая база данных
- •1. Турбо-пролог и реляционные базы данных
- •2. Описание предикатов динамических бд
- •3. Встроенные предикаты asserta, assertz, retract, retractall, save, consult
- •4. Создание динамической базы данных
- •5. Обсуждение проекта базы данных
- •6. Создание базы данных
- •7. Написание программных модулей
- •Глава 10. Глобальные переменные в turbo prolog
- •1. Модификация базы данных
- •2. Накопление результатов с помощью вынуждаемого возврата
- •3. Подсчет членов парторганизации
- •4. Поиск пути минимальной стоимости от a до z
- •Библиографический список
- •Оглавление
Библиографический список
1. Э. Мендельсон. Введение в математическую логику. «Наука», 1971.
2. Ц. Ин, Д. Соломон. Использование Турбо-Пролога «Мир», 1993.
3. И. Братко. Программирование на языке Пролог для искусственного интеллекта. «Мир», 1990.
4. Дж. Стобо. Язык программирования Пролог. «Радио и связь», 1993.
Оглавление
ГЛАВА 1. ВВЕДЕНИЕ В ПРОЛОГ 2
ГЛАВА 2. ВНУТРЕННИЕ ЦЕЛИ. МЕХАНИЗМ ВОЗВРАТА 10
ГЛАВА 3. ТИПЫ ДАННЫХ И АРИФМЕТИКА Turbo Prolog 17
ГЛАВА 4. ПРЕДИКАТ ОТСЕЧЕНИЯ (!). ПРОГРАММИРОВАНИЕ АЛЬТЕРНАТИВ. ПРАВИЛА ПОВТОРА 24
ГЛАВА 5. МЕТОДЫ ОРГАНИЗАЦИИ РЕКУРСИИ 33
ГЛАВА 6. СПИСКИ 41
ГЛАВА 7. СОРТИРОВКА СПИСКОВ 54
ГЛАВА 8. ПРОГРАММИРОВАНИЕ АЛГОРИТМОВ С ВОЗВРАТОМ. ПРЕДСТАВЛЕНИЕ ГРАФОВ В TURBO PROLOG 62
ГЛАВА 9. ДИНАМИЧЕСКАЯ БАЗА ДАННЫХ 77
ГЛАВА 10. ГЛОБАЛЬНЫЕ ПЕРЕМЕННЫЕ В TURBO PROLOG 93
библиографический список 101