Arity Prolog

Из коммерческих реализаций Пролога надо упомянуть бывший одно время весьма популярным Arity Prolog. Система Arity/Prolog представляет собой средство программирования универсального назначения, которое может использоваться для создания прикладных систем всех типов. Пролог отличается от процедурных языков не тем, что он делает, а тем как он это делает.

Интерпретатор

Пролог-программы могут создаваться при помощи интерпретатора. Разработка программы при использовании интерпретатора является полностью интерактивной. Работая в интерпретаторе, пользователь, используя встроенный редактор системы Arity/Prolog может редактировать одновременно до девяти файлов, переключаться при помощи единственной клавиши от процесса редактирования к прогону программы. При работе с интерпретатором отсутствует необходимость реструктурировать программу или осуществлять ее рекомпиляцию и редактирование связей (компоновку). Для того чтобы запустить программу на исполнение, достаточно ввести в ответ на приглашение интерпретатора соответствующий запрос.

Компилятор

Компилятор системы Arity/Prolog позволяет получить более быстрый и более эффективный код, чем код производимый интерпретатором. Компилятор производит на основе исходного кода Пролог-программы объектный код. Полученные после компиляции объектные модули затем редактируются (компонуются) с модулями из библиотеки системы Arity/Prolog для получения исполняемого образа задачи. Компилятор может использоваться таким образом для получения высокоэффективного кода, который может затем использоваться с интерпретатором или в качестве самостоятельной программной единицы. Разработка программы начинается чаще в среде интерпретатора, поскольку он позволяет исполнять, отлаживать и непрерывно изменять текст этой программы. После того, как разработка отдельных фрагментов программы закончена, они могут быть откомпилированы и встроены затем в интерпретатор. Таким образом, дальнейшая разработка программы может продолжаться уже с использованием этих откомпилированных сегментов программы.