Курс включает в себя: представление основ логического программирования, а также основ Пролога – декларативного языка программируемой логики. Кроме того, в курсе рассматриваются методы и примеры использования Пролога для решения широкого класса задач символьной обработки, для которых операторные языки программирования не предназначены. В частности, в курсе рассматривается применение языка Пролог для решения задач искусственного интеллекта и синтаксического анализа языков. Данный курс разработан для студентов заключительного этапа освоения образовательной программы . Предполагается, что на предыдущих семестрах указанными студентами освоены разделы «Математическая логика» и «Математическая лингвистика» курса «Дискретная математика», а также разделы «Программирование» и «Современные информационные технологии» курса «Информатика».