Сравнение с традиционными языками программирования. Язык программирования характеризуется присущими ему механизмами управления и обработки данных. Пролог как универсальный язык программирования можно рассматривать и с этих точек зрения.
При успешном выполнении вычисления средства управления программ на языке Пролог подобны средствам управления в обычных процедурных языках. Обращение к некоторой цели соответствует вызову процедуры, порядок целей в теле правила соответствует последовательности операторов. Точнее, правило А Я В1,В2 Вn можно рассматривать как определение процедуры Procedure A Call B1 Call B2 Call Bn End. Рекурсивный вызов цели в Прологе в последовательности действий и в реализации подобен тому же вызову в обычных рекурсивных языках.
Различие возникает при реализации возврата. В обычных языках, если вычисление не может быть продолжено например, все ветви в операторе case ложны, возникает ошибка выполнения. В Прологе вычисление просто возвращается к последнему выбору и делается попытка продолжить вычисления по новому пути. Структуры данных, которыми оперируют логические программы термы соответствуют общим структурам записей в обычных языках программирования.
Пролог использует очень гибкую систему организации структур данных. Подобно языку Лисп, Пролог является бестиповым языком, не содержащим объявления данных. Другие особенности использования структур данных в языке Пролог связаны с природой логических переменных. Логические переменные соотносятся с объектами, а не с ячейками памяти. Если переменной сопоставлен конкретный объект, то эта переменная уже никогда не может ссылаться на другой объект. Иными словами, логическое программирование не поддерживает механизм деструктивного присваивания, позволяющий изменять значение инициализированной переменной. В логическом программировании обработка данных полностью заключена в алгоритме унификации.
В унификации реализованы однократное присваивание, передача параметров, размещение записей, доступ к полям записей для одновременных чтениязаписи. Традиционные языки, как правило, содержат различной степени сложности средства обработки ошибочных и исключительных ситуаций.
Чистый Пролог не содержит механизма обработки ошибок и исключительных ситуаций, встроенного в описание языка. В отличие от традиционных языков ситуации, приводящие к ошибке например, отсутствие нужной ветви в операторе case, деление на нуль, в чистом Прологе приводят к отказу. 2.3