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

Книга посвящена наиболее распространённому в мире языку логического программирования Visual Prolog. В ней рассматриваются математические основы логического программирования, история, идеи и методы этого направления науки, его применение в задачах икусственного интеллекта и экспертных системах. Описание Visual Prolog базируется на фирменной документации Prolog Development Center (PDC). Последовательно и подробно рассмотрены вопросы установки системы, синтаксис языка, принципы, методы и особенности программирования, методы стыковки с другими широко используемыми языками программирования, вопросы создания графического интерфейса и баз данных и другие аспекты программирования на Visual Prolog. Прилагается CD, содержащий дистрибутив системы, упражнения и примеры из книги.