Приборы и системы. Управление, контроль, диагностика Аннотация к статье << Назад Теоретические аспекты использования рекурсии в задачах обработки списков в программах на Прологе Д.В. ЗДОР Программа для любой компьютерной системы предназначена для обработки данных. При этом для обработки больших объемов данных используются динамические структуры данных. К наиболее часто применяемым динамическим структурам данных можно отнести списки. Необходимость в использовании списков с одной стороны, и отсутствие специальных операторов обработки списков в программах на Прологе с другой стороны, актуализирует проблему поиска теоретических основ решения задач по обработке списков. Использование рекурсии выступает инструментальным средством решения задач по обработке списков в Прологе. Цель работы заключается в анализе выполнения рекурсивных правил обработки списков на уровне сопоставления предикатов и конкретизации переменных в программах на Прологе. Анализ специальной литературы по теме исследование, обобщение и систематизация знаний, тестирование программы, анализ хода выполнения программы. Рассмотрена конструкциярешения задач по обработке списков в программе на языке Пролог. Проведен детальный анализ выполнения рекурсивных предикатов в задачах обработки списков.Конструктивные особенности рекурсивного правила и условия завершения рекурсии зависят от типа решаемой задачи по обработке списков. В статье на примере задачи проверки принадлежности элемента списку подробно описан механизм использования рекурсивных правил на уровне сопоставления предикатов и конкретизации переменных в контексте решения задач обработки списков. Приведенный пример может служить технологической основой для решения иных задач по обработке списков. Полученные результаты могут быть использованы в дальнейшей разработке вопросов использования рекурсивных предикатов в задачах обработки списков, а также использоваться в учебном процессе при изучении теоретических основ информатики и логического программирования на языке Пролог. Ключевые слова: динамическая структура данных, список,рекурсивное правило, условие окончания рекурсии. DOI: 10.25791/pribor.5.2021.1258 Стр. 17-21.