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