В пособии представлены лекционные материалы и лабораторные работы курса "Рекурсивно-логическое программирование": базовые термины искусственного интеллекта, задачи, методы и их свойства: основы рекурсивно-логического программирования па языке Пролог; типичные задачи, решение которых лаконично представляется как рекурсивные и переборные алгоритмы. Пособие содержит задания па лабораторный практикум по темам "Формализация", "Обработка списков", "Метод Британского музея (отобразить и проверить)" и "Базы данных".

Пособие предназначено для студентов специальности "инженер-программист", "инженер-системный программист". Изучение материала будет полезно студентами других специальностей, гак или иначе связанных с программированием, формальной логикой и комбинаторикой.