ВикиЧтение
Поиск
Содержание
ВикиЧтение
Программирование на языке Пролог
Клоксин У.
2.2. Литеры
{{title}}
{{{description}}}
ПРЕДИСЛОВИЕ РЕДАКТОРОВ ПЕРЕВОДА
ПРЕДИСЛОВИЕ КО ВТОРОМУ ИЗДАНИЮ
ГЛАВА 1 ВВЕДЕНИЕ
1.1. Факты
1.2. Вопросы
1.3. Переменные
1.4. Конъюнкции
1.5. Правила
1.6. Заключение и упражнения
ГЛАВА 2 БОЛЕЕ ДЕТАЛЬНОЕ ОПИСАНИЕ
2.1. Синтаксические правила
2.1.3. Структуры
2.6.1. Успешное доказательство конъюнкции целевых утверждений
2.6.3. Установление соответствия
ГЛАВА 3. ИСПОЛЬЗОВАНИЕ СТРУКТУР ДАННЫХ
3.1. Структуры и деревья
3.6. Использование предиката присоединить и спецификация деталей
ГЛАВА 4. ВОЗВРАТ И ОТСЕЧЕНИЕ
4.3. Общие случаи использования отсечения
4.3.1. Подтверждение правильности выбора правила
4.3.2. Комбинация «отсечение-fail»
4.4. Проблемы, связанные с использованием отсечения
5.2. Ввод и вывод литер
5.2.1. Вывод литер
5.2.2. Ввод литер
5.4. Чтение файлов и запись в файлы
5.4.1. Запись в файлы
5.4.2. Чтение файлов
5.4.3. Ввод программ
6.2. Выполнение и невыполнение целевого утверждения
6.10. Обработка файлов
ГЛАВА 7. ЕЩЕ НЕСКОЛЬКО ПРИМЕРОВ ПРОГРАММ
7.1. Словарь в виде упорядоченного дерева
7.3. Ханойские башни
7.4. Справочник комплектующих деталей
7.5. Обработка списков
7.8. Использование базы данных: random, генатом, найтивсе
7.9. Поиск по графу
7.10. Просеивай Двойки, Просеивай Тройки
7.11. Символьное дифференцирование
ГЛАВА 8. ОТЛАДКА ПРОЛОГ-ПРОГРАММ
8.5. Фиксация ошибок
9.2. Описание синтаксического анализа на языке Пролог
9.4. Присоединение дополнительных аргументов
ГЛАВА 10. ПРОЛОГ И МАТЕМАТИЧЕСКАЯ ЛОГИКА
10.2. Приведение формул к стандартной форме
ГЛАВА 11. ПРОГРАММНЫЕ ПРОЕКТЫ НА ПРОЛОГЕ
11.1. Простые проекты