ISBN 978-5-7677-2305-8

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

Для студентов-бакалавров по направлению подготовки 02.03.03 «Математическое обеспечение и администрирование информационных систем», а также для специалистов, интересующихся современным состоянием программирования.