Логическое программирование (практикум, Д.В.Михайлов)
Материал из MachineLearning.
Приводятся общие сведения и рекомендации по решению задач нечислового характера с применением концепции логического программирования на примере двух наиболее известных реализаций языка Пролог - Турбо-Пролог 2.0 и Visual Prolog 5.2. Содержатся типовые задания, позволяющие приобрести навыки написания и отладки программ на языке Пролог при построении интеллектуальных систем различного назначения.
Практикум предназначен для студентов специальности 230105 “Программное обеспечение вычислительной техники и автоматизированных систем”, а также других, в учебных планах которых предусмотрены аналогичные дисциплины.
Автор практикума — Дмитрий Владимирович Михайлов, доцент кафедры Информационных технологий и систем Новгородского государственного университета им. Ярослава Мудрого.
Научный консультант - д.т.н., профессор Емельянов Геннадий Мартинович
Практикум является обязательным курсом для студентов спец. ПОВТ 3 курса, читается в 5-м семестре.
Лабораторный практикум по логическому программированию (PDF, 763КБ)
Установочные лекции
Демо
Для самоконтроля
Примерный список вопросов к теоретическому зачету по логическому программированию.