Cтраница 1
Следующая процедура выводит на экран текст вопроса, задаваемого программой оператору. [1]
Следующая процедура позволяет оператору ответить на вопрос, заданный программой на основе разрешенных значений и предварительно введенного текста. Модуль ASK распознает введенное имя объекта и извлекает соответствующий текст вопроса. Из списка разрешенных значений объекта формируется меню, и программа ожидает, пока пользователь сделает выбор. [2]
Следующая процедура позволяет программе считать из текстового файла одно правило и добавить его к списку правил. Компоненты правил - предпосылка и заключение - обрабатываются раздельно. Процедура ENTER RULE начинается операторами, создающими новый узел в вершине списка правил. Затем программа считывает из текстового файла предпосылку и добавляет ее к списку. И наконец, она считывает заключение и помещает его п узел. [3]
Следующая процедура реализует описанный алгоритм. [4]
Следующая процедура использует для поиска доказательства несколько абстракций одновременно. Она, однако, не согласовывает m - абстрактные доказательства друг с другом заблаговременно. Иными словами, мы не проверяем, имеют ли все m - абстрактные доказательства одну и ту же форму и удовлетворяют ли они подходящему отношению между доказательствами. В результате экономятся усилия, необходимые для такого согласования, но по всей вероятности увеличиваются размеры поискового пространства. Но даже и в этом случае предлагаемая процедура должна иметь меньшее поисковое пространство, чем proofsearch 2, которая использует только одну т-абстракцию. [5]
Следующая процедура, ее текст приведен в листинге 8.3, демонстрирует создание, использование и уничтожение динамических переменных. [6]
Следующая процедура ( ее текст приведен в листинге 8.3) демонстрирует создание, использование и уничтожение динамических переменных. [7]
Следующая процедура аналогична процедуре Count Down, только она вызывает саму себя дважды. [8]
Следующая процедура выделяет больше памяти при каждом вызове. [9]
Следующая процедура сохраняет эти значения в двух стеках на основе массива. Когда мнимая рекурсия заканчивается, процедура выталкивает из стеков недавно добавленные значения. [10]
Следующая процедура может быть обусловлена стилистическими соображениями в связи с учетом вербального окружения переводного тропа. [11]
Следующая процедура рекомендуется для определения верхнего тона, абсорбции масла, рабочих. [12]
Следующая процедура собирается читать операнд. Она читает саму первую переменную или константу с последующей операцией, а затем рекурсивно вызывает себя, чтобы читать остальные операнды. [13]
Следующая процедура собирается читать операнд. Она читает саму первую переменную или константу с последующей операцией, а затем рекурсивно вызывает себя, чтобы читать остальные операнды. Ее формальный-параметр вида цел используется, чтобы сообщить приоритет обрабатываемой в данный момент операции. [14]
Следующие процедуры с именами Pop F421, Pop F423, Pop F431 и Pop F433 однотипны по своим функциям. [15]