Рублев В.С. Языки логического программирования

Учебное пособие. — Ярославль: ЯрГУ, 2007. — 144 с.Учебное пособие знакомит с одним из интереснейших направлений в развитии языков программирования языками типа модели Маркова, которые называют языками логического программирования, а также функционального программирования или искусственного интеллекта. С целью усвоения материала и развития алгоритмических навыков в каждой главе даются тесты самоконтроля и упражнения для самостоятельной работы.
Предназначено для студентов, обучающихся по следующим специ альностям 010503 Математическое обеспечение и администрирование информационных систем, 010501 Прикладная математика и информатика (дисциплина "Языки логического программирования", блок ДС). Может быть использовано для других специальностей и дисциплин специализации.