2.2. Основные понятия

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

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

Если Вас попросят рассказать об ЭВМ кому-то, кто ничего о них не знает, то наиболее разумно начать с того, что машина может делать, а не с того, как она это делает. После того, как первое будет усвоено, можно переходить ко второму. Точно так же обстоит дело и с языками программирования. Императивные языки, подобные Бейсику, состоят из команд, предписывающих ЭВМ, как решить задачу, например, выполнить оператор

и т. п. Дескриптивные языки позволяют максимально приблизиться к естественному языку, например, в них разрешены конструкции типа "Определить, кто самый богатый человек в городе?"

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