Средства отладки

Специальные встроенные предикаты

Компиляция

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

Хотя основные средства механизма выполнения программ в большинстве Пролог-систем действуют одинаково, специальные встроенные предикаты могут все-таки различаться. Иногда это выражается в том, что для тех возможностей, которые легко обеспечить на данной ЭВМ, вводятся дополнительные предикаты. Иногда одни и те же основные возможности реализуются с помощью предикатов, которые дают несколько отличающиеся результаты. Например, для любой Пролог-системы было бы достаточно располагать предикатами functor и arg или предикатом '=..'. Действительно, первые два могут быть выражены через третий и обратно. Вам, возможно, придется приспособиться к использованию имеющихся средств с тем, чтобы имитировать действие тех средств, к которым вы привыкли. Некоторые Пролог-системы могут предоставлять библиотеки полезных программ, обеспечивающих дополнительные возможности сверх тех, что дают встроенные предикаты. Например, грамматические правила могут быть предоставлены как часть базовой системы или может иметься возможность загрузить из библиотеки Пролог-программу, обеспечивающую такие возможности.

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

ПРИЛОЖЕНИЕ D. ПРОЛОГ ДЛЯ ЭВМ DEC SYSTEM-10

В этом приложении кратко описывается Пролог-система для ЭВМ DECsystem-10[18], которую реализовали Дейвид Уоррен, Фернандо Перейра и Льюис Перейра. Эта реализация стала фактическим стандартом, и реализации, сделанные по этому образцу, имеются теперь на многих других ЭВМ от микро-ЭВМ 2-80 до ЭВМ семейства VAX фирмы DEC. Описанный в этой книге «базовый» Пролог также в основном совпадает с Прологом-10. В данном приложении рассматриваются только те его особенности, которые существенно отличаются от базового Пролога. В начале мы покажем, как выглядит сеанс работы с Прологом-10, а затем перейдем к более подробному изучению отличий этой системы от нашего базового Пролога. В конце приводится список Пролог-систем, сделанных по образцу Пролога-10, которые можно использовать на других ЭВМ.