Адаменко А.Н., Кучуков А.М. Логическое программирование и Visual Prolog

СПб.: БХВ-Петербург,
2003. 990 с.: ил. ISBN 5-94157-156-9.Книга посвящена наиболее распространенному в мире языку логического про-граммирования Visual Prolog, предшественником и ближайшим «родственником» которого является широко известный Turbo Prolog. Рассматриваются математические основы логического программирования, история, идеи и методы этого направления науки, его применение в задачах искусственного интеллекта и экспертных системах. Описание Visual Prolog — языка и системы программирования, возможности которых значительно шире возможностей только лишь логического программирования — ба-зируется на переводе фирменной документации Prolog Development Center (PDC). Последовательно и подробно рассмотрены вопросы установки системы, синтаксис языка, принципы, методы и особенности программирования, визуальная среда разра-ботки, методы стыковки с другими широко используемыми языками программирова-ния, вопросы создания графического интерфейса и баз данных, визуальное, логиче-ское, процедурное, объектно-ориентированное и системное программирование на Visual Prolog. Прилагается компакт-диск, содержащий дистрибутив системы, упраж-нения и примеры из книги.
Для программистов, студентов и преподавателей вузов.Предисловие.
Введение в Visual Prolog.
I. Математические основы логического программирования.
1. Дедуктивные системы.
2. Исчисление предикатов и теории первого поряд-ка.
3. Логический вывод в исчислении предикатов.
II. Логическое программирование и искусственный интеллект.
4. Искусственный интеллект.
5. Экспертные системы.
III. Основы Пролога.
6. Введение в Пролог.
7. Примеры решения задач на языке Пролог.
IV. Программирование на Visual Prolog.
8. Установка и начало работы в Visual Prolog.
9. Возможности 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. Описание компакт-диска.
Список литературы. Предметный указатель.