Предисловие редактора перевода

Вниманию читателя предлагается книга, посвященная современному языку программирования наивысшего уровня, широко используемому при решении многих актуальных проблем и оспаривающему в настоящее время право считаться основным языком вычислительных систем пятого поколения. Пролог представляет сейчас единственную приемлемую альтернативу Лиспу в качестве языкового средства при разработке систем искусственного интеллекта.

Название языка составлено из начальных частей двух слов: Программирование Логическое. Пролог освобождает пользователей от необходимости обдумывания правил вычисления значений и планирования действий, реализуемых в процессе выполнения программы, позволяя сосредоточить внимание на логической спецификации, описывающей решаемую задачу. Этот язык обеспечивает относительно простое осуществление сопоставления заданных объектов с эталонами. Он принципиально отличается от общепризнанных процедурных языков (Си, Паскаль, Модула-2, Ада, Фортран) и функционального языка Лисп. Программирование на нем носит несколько, необычный характер. Пролог-программа представляет собой совокупность дескриптивных определений набора отношений с включением императивных компонентов. Она больше является описанием того, что нужно вычислить, чем того, как надо это сделать. Выполнение Пролог-программы заключается в использовании логических определений отношений (заданных в программе) для вычисления конкретных примеров этих отношений.

Несмотря на перспективность и высокие достоинства Пролога, он почти не нашел отражения в отечественной научно-технической литературе, что существенно сдерживает наших исследователей и разработчиков. Счастливым исключением является переводная книга К. Кларка, Ф. Маккейба и др. "Введение в логическое программирование на микро-Прологе", вышедшая в издательстве "Радио и связь" в 1987 году. Однако ее нельзя считать вводным курсом в Пролог, она посвящена его единственной версии со специфическим синтаксисом и представляет собой сборник статей

по практическому применению микро-Пролога, написанных разными авторами.

Данная книга весьма полно описывает язык и методологию его применения. Она позволяет включиться в его изучение неподготовленному читателю и подняться до уровня практического программирования на Прологе. В ней достаточно полно отражена связь описываемого языка с логикой. Книга хорошо структурирована. В нее включено большое количество удачно подобранных примеров, иллюстрирующих суть обсуждаемых явлений. Стиль изложения характеризуется четкостью и доступностью для понимания широкой аудитории читателей. Подробный предметный указатель, глоссарий и многочисленные подзаголовки позволяют использовать данную книгу не только как учебник, но и как справочник. В приложении представлен обзор основных версий языка, что помогает сориентироваться в его возможностях и разнообразных реализациях.

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

Надеемся, что данная книга окажет существенную помощь тем, кто занимается проблемами искусственного интеллекта, реляционными базами данных, разработкой программного обеспечения, системами разбора естественного языка, представлениями знаний, экспертными системами.

В. Н. Соболев