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

Язык Пролог был создан как язык программирования для решения задач искусственного интеллекта. Языку Пролог посвящались многие книги и статьи в журналах, однако все они описывали разные версии языка, и только одна монография была посвящена языку Visual Prolog– книга А.Н. Адаменко и А.М.Кучукова «Логическое программирование и Visual Prolog» –
вышла в 2003 году и в настоящее время стала библиографической редкостью. За последние годы в стандарты многих специальностей и направлений подготовки бакалавров и магистров, связанных с информационными технологиями, введены курсы, освоение которых предполагает получение навыков логического программирования. Для студентов, изучающих логическое программирование, и предназначено данное учебное пособие. В пособии содержится краткое описание математических основ логического программирования, введение в язык программирования Visual Prolog и изложение наиболее известных методов и алгоритмов решения интеллектуальных задач. В пособии приведено множество примеров программ на языке Visual Prolog, иллюстрирующих описываемые методы и алгоритмы.