Главная
В избранное
Наш E-MAIL
Добавить материал
Нашёл ошибку
Другие сайты
Вниз
ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
У Клоксин; К Меллиш;
ПРЕДИСЛОВИЕ РЕДАКТОРОВ ПЕРЕВОДА
ПРЕДИСЛОВИЕ КО ВТОРОМУ ИЗДАНИЮ
ПРЕДИСЛОВИЕ К ПЕРВОМУ ИЗДАНИЮ
ГЛАВА 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. Ввод новых утверждений
6.2. Выполнение и невыполнение целевого утверждения
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.3. Ханойские башни
7.4. Справочник комплектующих деталей
7.5. Обработка списков
7.6. Представление и обработка множеств
7.7. Сортировка
7.8. Использование базы данных: random, генатом, найтивсе
7.9. Поиск по графу
7.10. Просеивай Двойки, Просеивай Тройки
7.11. Символьное дифференцирование
7.12. Отображение структур и преобразование деревьев
7.13. Применение предикатов clause и retract
ГЛАВА 8. ОТЛАДКА ПРОЛОГ-ПРОГРАММ
8.1. Расположение текстов программ
8.2. Типичные ошибки
8.3.
Модель трассировки
8.4. Трассировка и контрольные точки
8.5. Фиксация ошибок
ГЛАВА 9. ИСПОЛЬЗОВАНИЕ ГРАММАТИЧЕСКИХ ПРАВИЛ В ПРОЛОГЕ
9.1. Проблема синтаксического анализа
9.2. Описание синтаксического анализа на языке Пролог
9.3. Запись грамматических правил в Прологе
9.4. Присоединение дополнительных аргументов
9.5. Введение дополнительных условий
9.6. Заключение
ГЛАВА 10. ПРОЛОГ И МАТЕМАТИЧЕСКАЯ ЛОГИКА
10.1. Краткое введение в исчисление предикатов
10.2. Приведение формул к стандартной форме
10.3. Форма записи дизъюнктов
10.4. Принцип резолюций и доказательство теорем
10.6. Пролог
10.7. Пролог и логическое программирование
ГЛАВА 11. ПРОГРАММНЫЕ ПРОЕКТЫ НА ПРОЛОГЕ
11.1. Простые проекты
11.2. Более сложные проекты
ПРИЛОЖЕНИЕ А. ОТВЕТЫ К НЕКОТОРЫМ УПРАЖНЕНИЯМ
ПРИЛОЖЕНИЕ В. ПРОГРАММА ПРИВЕДЕНИЯ ФОРМУЛ ИСЧИСЛЕНИЯ ПРЕДИКАТОВ К СТАНДАРТНОЙ ФОРМЕ
ПРИЛОЖЕНИЕ С. РАЗЛИЧНЫЕ ВЕРСИИ ЯЗЫКА ПРОЛОГ
ПРИЛОЖЕНИЕ D. ПРОЛОГ ДЛЯ ЭВМ DEC SYSTEM-10
ПРИЛОЖЕНИЕ Е. МИКРО-ПРОЛОГ
ПРИЛОЖЕНИЕ F. СИСТЕМА МПРОЛОГ
Альтернативная медицина
Астрономия и Космос
Биология
Военная история
Геология и география
Государство и право
Деловая литература
Домашние животные
Домоводство
Здоровье
История
Компьютеры и Интернет
Кулинария
Культурология
Литературоведение
Математика
Медицина
Научная литература - прочее
Педагогика
Политика
Психология
Религиоведение
Сад и огород
Самосовершенствование
Сделай сам
Спорт
Технические науки
Транспорт и авиация
Учебники
Физика
Философия
Хобби и ремесла
Шпаргалки
Эзотерика
Юриспруденция
Языкознание
Главная
|
В избранное
|
Наш E-MAIL
|
Добавить материал
|
Нашёл ошибку
|
Наверх