Книга: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ

Оглавление книги

• ПРЕДИСЛОВИЕ РЕДАКТОРОВ ПЕРЕВОДА
• ПРЕДИСЛОВИЕ КО ВТОРОМУ ИЗДАНИЮ
• ПРЕДИСЛОВИЕ К ПЕРВОМУ ИЗДАНИЮ
• ГЛАВА 1 ВВЕДЕНИЕ
• 1.1. Факты
• 1.2. Вопросы
• 1.3. Переменные
• 1.4. Конъюнкции
• 1.5. Правила
• 1.6. Заключение и упражнения
• ГЛАВА 2 БОЛЕЕ ДЕТАЛЬНОЕ ОПИСАНИЕ
• 2.1. Синтаксические правила
• 2.1.1. Константы
• 2.1.2. Переменные
• 2.1.3. Структуры
• 2.2. Литеры
• 2.3. Операторы
• 2.4. Равенство и установление соответствия
• 2.5. Арифметика
• 2.6. Общая схема согласования целевых утверждений
• 2.6.1. Успешное доказательство конъюнкции целевых утверждений
• 2.6.2. Рассмотрение целевых утверждений при использовании механизма возврата
• 2.6.3. Установление соответствия
• ГЛАВА 3. ИСПОЛЬЗОВАНИЕ СТРУКТУР ДАННЫХ
• 3.1. Структуры и деревья
• 3.2. Списки
• 3.3. Принадлежность элементов списку
• 3.4. Пример: преобразование предложений
• 3.5. Пример: упорядочение по алфавиту
• 3.6. Использование предиката присоединить и спецификация деталей
• ГЛАВА 4. ВОЗВРАТ И ОТСЕЧЕНИЕ
• 4.1. Порождение множественных решений
• 4.2. Отсечение
• 4.3. Общие случаи использования отсечения
• 4.3.1. Подтверждение правильности выбора правила
• 4.3.2. Комбинация «отсечение-fail»
• 4.4. Проблемы, связанные с использованием отсечения
• ГЛАВА 5 ВВОД И ВЫВОД
• 5.1. Ввод и вывод термов
• 5.1.1. Вывод термов
• 5.1.2. Ввод термов
• 5.2. Ввод и вывод литер
• 5.2.1. Вывод литер
• 5.2.2. Ввод литер
• 5.3. Ввод предложений
• 5.4. Чтение файлов и запись в файлы
• 5.4.1. Запись в файлы
• 5.4.2. Чтение файлов
• 5.4.3. Ввод программ
• 5.5. Объявление операторов
• ГЛАВА 6. ВСТРОЕННЫЕ ПРЕДИКАТЫ
• 6.1. Ввод новых утверждений
• consult(X)
• reconsult(X)
• Списковая форма записи
• 6.2. Выполнение и невыполнение целевого утверждения
• true
• fail
• 6.3. Классификация термов
• var(X)
• nonvar(X)
• atom(X)
• integer(X)
• atomic(X)
• 6.4. Работа с утверждениями как с термами
• listing (A)
• clause(X, Y)
• asserta(X), assertz(X)
• retract(X)
• 6.5. Создание структур и работа с компонентами структур
• functor(T,F,N)
• arg(N,T,A)
• X=..L
• name(А,L)
• 6.6. Воздействие на процесс возврата
• Отсечение
• repeat
• 6.7. Формирование составных целевых утверждений
• Конъюнкция целей
• Дизъюнкция целей
• call(X)
• not(X)
• 6.8. Равенство
• X=Y
• X=Y
• X==Y
• Х == Y
• 6.9. Ввод и вывод данных
• get0(X)
• get(X)
• skip(X)
• read(X)
• put(X)
• nl
• tab(X)
• write(X)
• display(X)
• op(X,Y,Z)
• 6.10. Обработка файлов
• see(X)
• seeing(X)
• seen
• tell(X)
• telling(X)
• told
• 6.11. Вычисление арифметических выражений
• X is Y
• X + Y
• X – Y
• X * Y
• X / Y
• X mod Y
• 6.12. Сравнение чисел
• X = Y
• X = Y
• X ‹ Y
• X › Y
• X ›= Y
• X =‹ Y
• 6.13. Наблюдение за выполнением программы на Прологе
• trace
• notrace
• spy Р
• debugging
• nodebug
• nospy
• ГЛАВА 7. ЕЩЕ НЕСКОЛЬКО ПРИМЕРОВ ПРОГРАММ
• 7.1. Словарь в виде упорядоченного дерева
• 7.2. Поиск в лабиринте
• 7.3. Ханойские башни
• 7.4. Справочник комплектующих деталей
• 7.5. Обработка списков
• 7.6. Представление и обработка множеств
• 7.7. Сортировка
• 7.8. Использование базы данных: random, генатом, найтивсе
• Генератор случайных чисел (random)
• Генератор имен (генатом)
• Генератор списков структур (найтивсе)
• 7.9. Поиск по графу
• 7.10. Просеивай Двойки, Просеивай Тройки
• 7.11. Символьное дифференцирование
• 7.12. Отображение структур и преобразование деревьев
• 7.13. Применение предикатов clause и retract
• ГЛАВА 8. ОТЛАДКА ПРОЛОГ-ПРОГРАММ
• 8.1. Расположение текстов программ
• 8.2. Типичные ошибки
• 8.3. Модель трассировки
• CALL
• EXIT
• REDO
• FAIL
• 8.4. Трассировка и контрольные точки
• Выдача информации о цели
• Выдача информации о предшественниках
• Изменение уровня трассировки
• Вмешательство в процесс согласования цели
• Другие команды
• Заключение
• 8.5. Фиксация ошибок
• ГЛАВА 9. ИСПОЛЬЗОВАНИЕ ГРАММАТИЧЕСКИХ ПРАВИЛ В ПРОЛОГЕ
• 9.1. Проблема синтаксического анализа
• 9.2. Описание синтаксического анализа на языке Пролог
• 9.3. Запись грамматических правил в Прологе
• 9.4. Присоединение дополнительных аргументов
• 9.5. Введение дополнительных условий
• 9.6. Заключение
• ГЛАВА 10. ПРОЛОГ И МАТЕМАТИЧЕСКАЯ ЛОГИКА
• 10.1. Краткое введение в исчисление предикатов
• 10.2. Приведение формул к стандартной форме
• Этап 1 - исключение импликаций и зквивалентностей
• Этап 2 - перенос отрицания внутрь формулы
• Этап 3 - сколемизация
• Этап 4 - вынесение кванторов общности в начало формулы
• Этап 5 - использование дистрибутивных законов для & и #
• Этап 6 - выделение множества дизъюнктов
• 10.3. Форма записи дизъюнктов
• 10.4. Принцип резолюций и доказательство теорем
• 10.6. Пролог
• 10.7. Пролог и логическое программирование
• ГЛАВА 11. ПРОГРАММНЫЕ ПРОЕКТЫ НА ПРОЛОГЕ
• 11.1. Простые проекты
• 11.2. Более сложные проекты
• ПРИЛОЖЕНИЕ А. ОТВЕТЫ К НЕКОТОРЫМ УПРАЖНЕНИЯМ
• ПРИЛОЖЕНИЕ В. ПРОГРАММА ПРИВЕДЕНИЯ ФОРМУЛ ИСЧИСЛЕНИЯ ПРЕДИКАТОВ К СТАНДАРТНОЙ ФОРМЕ
• Этап 1 - исключение импликаций
• Этап 2 - перенос отрицания внутрь формулы
• Этап 3 - сколемизация
• Этап 4 - вынесение кванторов общности в начало формулы
• Этап 5 - использование дистрибутивных законов для. & и #
• Этап 6 - выделение множества дизъюнктов
• Печать утверждений
• ПРИЛОЖЕНИЕ С. РАЗЛИЧНЫЕ ВЕРСИИ ЯЗЫКА ПРОЛОГ
• Синтаксис
• Различные ограничения
• Возможности окружения
• Компиляция
• Специальные встроенные предикаты
• Средства отладки
• ПРИЛОЖЕНИЕ D. ПРОЛОГ ДЛЯ ЭВМ DEC SYSTEM-10
• Пример сеанса работы
• Синтаксис
• Различные ограничения
• Возможности окружения
• Компиляция
• Различия во встроенных предикатах
• Дополнительные встроенные предикаты
• Средства отладки
• Литература
• ПРИЛОЖЕНИЕ Е. МИКРО-ПРОЛОГ
• Пример сеанса работы
• Синтаксис
• Различные ограничения
• Возможности окружения
• Специальные встроенные предикаты
• Средства отладки
• Литература
• ПРИЛОЖЕНИЕ F. СИСТЕМА МПРОЛОГ
• Пример сеанса работы
• Синтаксис
• Модульность
• Компоненты системы МПролог
• Различные ограничения
• Дополнительные встроенные предикаты
• Средства отладки
• Литература
• Сноски из книги
• Содержание книги
• Популярные страницы