Логическое программирование и Visual Prolog
Анатолий Адаменко, Андрей Кучуков "Логическое программирование и Visual Prolog"
БХВ-Петербург, 2003 г. | 992 стр. | ISBN: 5941571569 | DjVu | 13.2Mb
Книга посвящена наиболее распространенному в мире языку логического программирования Visual Prolog, предшественником и ближайшим `родственником` которого является широко известный Turbo Prolog. Рассматриваются математические основы логического программирования, история, идеи и методы этого направления науки, его применение в задачах искусственного интеллекта и экспертных системах. Описание Visual Prolog - языка и системы программирования, возможности которых значительно шире возможностей только лишь логического программирования - базируется на переводе фирменной документации Prolog Development Center (РDС). Последовательно и подробно рассмотрены вопросы установки системы, синтаксис языка, принципы, методы и особенности программирования, визуальная среда разработки, методы стыковки с другими широко используемыми языками программирования, вопросы создания графического интерфейса и баз данных, визуальное, логическое, процедурное, объектно-ориентированное и системное программирование на Visual Prolog.
Для программистов, студентов и преподавателей вузов.