В подлиннике - Адаменко А., Кучуков А. - Логическое программирование и Visual Prolog. Наиболее полное руководство [2003, DjVu, RUS] + Code

Предисловие
Введение в 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. Описание компакт-диска

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

*******************************************************************************
Описание компакт-диска к книге А. Адаменко, А. Кучукова
"Логическое программирование и Visual Prolog"
*******************************************************************************

Каталог APPS содержит несколько примеров приложений, а также ссылки на
Web-описания других коммерческих приложений, написанных на Visual Prolog.

Каталог INSTALL - основной каталог диска, содержащий файл SETUP.EXE, который необходимо запустить для установки Windows-версии Visual Prolog.

Каталог LINUX содержит файлы, необходимые для инсталляции Linux-версии Visual Prolog.

Каталог RUN содержит инсталлированную версию Visual Prolog для запуска VDE с компакт-диска;
файл запуска RUN\BIN\WIN\32\vip.exe. VDE в этом случае будет видеть
все необходимые включаемые файлы и библиотеки.

Каталог SCO содержит файлы, необходимые для инсталляции UNIX-версии Visual Prolog.

Каталог SHAREW содержит несколько полезных свободно распространяемых программ.

Каталог INTRO.HTM - стартовый файл HTML системы описания Visual Prolog версии 5.2, поставляемой на диске.