Оглавление
Предисловие 18
Часть I. Язык Prolog 25
Глава 1. Введение в Prolog 26
Глава 2. Синтаксис и значение программ Prolog 45
Глава 3. Списки, операции, арифметические выражения 76
Глава 4. Использование структур: примеры программ 98
Глава 5. Управление перебором с возвратами 121
Глава 6. Ввод и вывод 136
Глава 7. Дополнительные встроенные предикаты 149
Глава 8. Стиль и методы программирования 169
Глава 9. Операции со структурами данных 192
Глава 10. Усовершенствованные методы представления деревьев 215
Часть II. Применение языка Prolog в области искусственного интеллекта 227
Глава 11. Основные стратегии решения проблем 228
Глава 12. Эвристический поиск по заданному критерию 247
Глава 13. Декомпозиция задач и графы AND/OR 277
Глава 14. Логическое программирование в ограничениях 301
Глава 15. Представление знаний и экспертные системы 326
Глава 16. Командный интерпретатор экспертной системы 357
Глава 17. Планирование 383
Глава 18. Машинное обучение 408
Глава 19. Индуктивное логическое программирование 446
Глава 20. Качественные рассуждения 478
Глава 21. Обработка лингвистической информации с помощью грамматических правил 510
Глава 22. Ведение игры 532
Глава 23. Метапрограммирование 559
Приложение А. Некоторые различия между реализациями Prolog 590
Приложение Б. Некоторые часто используемые предикаты 592
Решения к отдельным упражнениям 595
Список литературы 611
Предметный указатель 619