Логическое программирование. Язык Пролог

Описание

В данном пособии представлены тексты 10 лекций по курсу «Логическое программирование», целью изучения которого является освоение парадигмы логического программирования, а также основ Пролога – декларативного языка программируемой логики. Кроме того, в лекциях рассматриваются методы использования Пролога для решения таких задач символьной обработки, для которых императивные (операторные) языки программирования не очень удобны, в частности, для задач искусственного интеллекта и синтаксического анализа языков. Пособие предназначено для студентов заключительного семестра бакалавриата и первого семестра магистратуры кафедры «Кибернетика» НИЯУ МИФИ, а также может быть использовано студентами, аспирантами и специалистами в области информатики и современных информационных технологий.