Оглавление:

Предисловие
Введение в Visual Prolog

Часть I. МАТЕМАТИЧЕСКИЕ ОСНОВЫ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ
Глава 01. Дедуктивные системы
Глава 02. Исчисление предикатов и теории первого порядка
Глава 03. Логический вывод в исчислении предикатов

Часть II. ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ И ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Глава 04. Искуственный интеллект
Глава 05. Экспертные системы

Часть III.ОСНОВЫ ПРОЛОГА
Глава 06. Введение в Пролог
Глава 07. Примеры решения задач на языке Пролог

Часть IV. ПРОГРАММИРОВАНИЕ НА VISUAL PROLOG
Глава 08. Установка и начало работы Visual Prolog
Глава 09. Возможности Visual Prolog
Глава 10. Основы языка Visual Prolog
Глава 11. Унификация и поиск с возвратом
Глава 12. Простые и составные объекты
Глава 13. Повтор и рекурсия
Глава 14. Списки и рекурсия
Глава 15. Внутренняя база фактов Visual Prolog
Глава 16. Арифметические вычисленя и сравнения
Глава 17. Более сложные приемы программирования
Глава 18. Классы и объекты
Глава 19. Запись, чтение и файлы
Глава 20. Обработка строк в Visual Prolog
Глава 21. Внешние базы данных в Visual Prolog
Глава 22. Программирование на системном уровне
Глава 23. Систематический обзор языка Visual Prolog
Глава 24. Интерфейс с другими языками

Часть V. РАЗРАБОТКА ГРАФИЧЕСКОГО ИНТЕРФЕЙСА ПОЛЬЗОВАТЕЛЯ
Глава 25. Создание программы с графическим интерфейсом
Глава 26. Средства создания графичского интерфейса

Часть VI. ВОЗМОЖНОСТИ ВИЗУАЛЬНОЙ СРЕДЫ РАЗРАБОТКИ
Глава 27. Особенности визуальной среды разработки для опытного пользователя

Часть VII. ПРИЛОЖЕНИЯ
Приложение 1. Описание прикладных пакетов, облегчающих создание VPI-программ
Приложение 2. Примеры программ на языке Пролог
Приложение 3. Medication Assistant - медицина, основанная на доказательствах
Приложение 4. В.П. Оревков. Обратный метод поиска вывода
Приложение 5. Описание компакт-диска

Список литературы
Предметный указатель