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

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

Последовательно и подробно рассмотрены вопросы установки системы, синтаксис языка, принципы, методы и особенности программирования, визуальная среда разработки, методы стыковки с другими широко используемыми языками программирования, вопросы создания графического интерфейса и баз данных, визуальное, логическое, процедурное, объектно-ориентированное и системное программирование на Visual Prolog.

Для программистов, студентов и преподавателей вузов.