В статье представлен анализ трех основных групп логических ошибок. Первая группа ошибок связана с некорректным использованием встроенных операторов языка Пролог. Вторая группа объединяет ошибки выполнения, которые возникают во время работы программы на некоторых начальных данных. Третья группа формируется ошибками некорректного построения порядка в описании фактов и правил процедур предложений. Проведенный анализ является одним из начальных этапов исследования по разработке и созданию программного модуля с функциями поиска некорректных семантических определений и предоставления вариантов их исправления.
логическое программирование, пролог, декларативный уровень программирования, процедурный уровень программирования, семантические ошибки, ошибки выполнения программы