Логическое программирование и Visual Prolog

Автор: Анатолий Адаменко, Андрей Кучуков
Издательство: БХВ-Петербург
Год издания: 2003
Страниц: 992
ISBN: 5-94157-156-9
Язык: русский
Формат: DJVU
Размер: 13.3 Мб


Книга посвящена наиболее распространенному в мире языку логического программирования Visual Prolog, предшественником и ближайшим `родственником` которого является широко известный Turbo Prolog. Рассматриваются математические основы логического программирования, история, идеи и методы этого направления науки, его применение в задачах искусственного интеллекта и экспертных системах. Описание Visual Prolog - языка и системы программирования, возможности которых значительно шире возможностей только лишь логического программирования - базируется на переводе фирменной документации Prolog Development Center (РDС). Последовательно и подробно рассмотрены вопросы установки системы, синтаксис языка, принципы, методы и особенности программирования, визуальная среда разработки, методы стыковки с другими широко используемыми языками программирования, вопросы создания графического интерфейса и баз данных, визуальное, логическое, процедурное, объектно-ориентированное и системное программирование на Visual Prolog. Прилагается компакт-диск, содержащий дистрибутив системы, упражнения и примеры из книги.
Для программистов, студентов и преподавателей вузов.

Оглавление:
Часть 1. Математические основы логического программирования
Глава 1. Дедуктивные системы
Глава 2. Исчисление предикатов и теория первого порядка
Глава 3. Логический вывод в исчислении предикатов

Часть 2. Логическое программирование и искусственный интеллект
Глава 4. Искусственный интеллект
Глава 5. Экспертные системы

Часть 3. Основы Пролога
Глава 6. Введение в Пролог
Глава 7. Примеры решения задач на языке Пролог

Часть 4. Программирование на 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. Интерфейс с другими языками

Часть 5. Разработка графического интерфейса пользователя
Часть 25. Создание программы с графическим интерфейсом
Часть 26. Средства создание графического интерфейса

Часть 6. Возможности визуальной среды разработки
Часть 27. Особенности визуальной среды разработки для опытного пользователя