Описание:В курсе изучаются основы программирования на языке Пролог, используемом для решения задач искусственного интеллекта и обработки сложных символьных структур. Разбираются методы и средства логического программирования на примерах пролог-программ. В качестве самостоятельной работы студенты пишут логические программы, влияющие на итоговую оценку по предмету. Курс предназначен для студентов-бакалавров ПМ профиля "Системное программирование и компьютерные науки" 4 курса факультета ВМиК МГУ.