Программирование на языке Пролог для задач искусственного интеллекта. Введение в логическое программ

Рассматриваются основные теоретические понятия логического программирования, а также приемы и методы программирования на языке Пролог. Изучаются основы программирования на языке Visual Prolog 9. Изложение сопровождается большим числом примеров программ и иллюстраций. Приводятся упражнения для самостоятельной работы.
Для студентов и аспирантов, специализирующихся в области информационных технологий, прикладной математики и информатики, программной инженерии, разработки и анализа интеллектуальных систем, а также программистов и всех интересующихся практическим использованием логического программирования.