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