Языки логического программирования

Упражнение 1:

Номер 1

Укажите верное утверждение для Рефала-5.

Ответ:

(1) переменные начинаются с буквы s, w, v, e

(2) директива определения функции состоит из имени функции и последовательности рефал-предложений

(3) число представляет собой последовательность цифр со знаком или без него

(4) комментарии начинаются всегда со знака "*"

Номер 2

Укажите неверное утверждение для Рефала-5.

Ответ:

(1) входом в программу всегда является функция GO

(2) внешние функции задаются директивой EXTERN

(3) конструкция директив отсутствует

(4) каждое рефал-предложение заканчивается точкой с запятой

Номер 3

Укажите верное утверждение для Рефала-5.

Ответ:

(1) входы задаются директивой ENTRY

(2) комментарий задается только после "//"

(3) между первой буквой переменной и ее индексом не должно быть точки

(4) рефал-предложения в определении функции заключаются в фигурные скобки

Упражнение 2:

Номер 1

Укажите верное утверждение для конструкции условия Рефала-5.

Ответ:

(1) условие может присутствовать в любом рефал-выражении

(2) в рефал-предложении может быть записано только одно условие

(3) условие может быть записано в любой части рефал-предложения

(4) все условия перечисляются через запятую в конце левой части рефалпредложения

Номер 2

Укажите неверное утверждение для конструкции условия Рефала-5.

Ответ:

(1) левая часть рефал-предложения, предшествующая условию называется образцом

(2) условие состоит из результатного выражения и образца, разделенных двоеточием

(3) условие не может содержать переменные

(4) значение результатного выражения условия, в которое подставлены значения переменных образца рефал-предложения, сопоставляется с образцом условия

(5) вычисление условий идет справа налево

(6) при вычислении следующего условия используются значения переменных, полученных при интерпретации предыдущих частей левой части рефал-предложения

(7) правая часть рефал-предложения называется результатным выражением

Номер 3

Укажите верное утверждение для конструкции условия Рефала-5.

Ответ:

(1) в случае, когда для очередного условия не найдется интерпретации его образца, вычисление рефал-предложения заканчиваются неуспехом и происходит переход к анализу следующего рефал-предложения

(2) в случае неуспеха вычисления условия происходит поиск другой интерпретации при вычислении всех предыдущих условий и образцовой части, предшествующей условиям

(3) результатное выражение условия может содержать переменные, не содержащиеся в предыдущих условиях и образцовой части, предшествующей условиям

(4) интерпретация переменных рефал-предложения может производиться в произвольном порядке

Упражнение 3:

Номер 1

Какое утверждение для Рефала-5 является чистым условием?

Ответ:

(1) условие, которое не содержит переменных, не встречающихся в предыдущей части рефал-предложения

(2) условие, переменные которого не входят в последующие условия рефалпредложения

(3) условие, не содержащее образцовой части

(4) условие, не содержащее результатной части

Номер 2

Какое утверждение для Рефала-5 не является чистым присваиванием?

Ответ:

(1) условие, образцовую часть которого составляют только переменные условия

(2) условие, результатная часть которого всегда имеет интерпретацию

(3) условие, результатная часть которого содержит переменные,которым и присваиваются значения

(4) условие, результатная часть которого всегда верна, а образцовую часть составляют толко переменные, которым присваиваются значения

Номер 3

Какое утверждение для Рефала-5 является условным присваиванием?

Ответ:

(1) условие, образцовую часть которого составляют только переменные условия

(2) условие, результатная часть которого всегда имеет интерпретацию переменных

(3) условие, результатная часть которого всегда верна, а образцовую часть составляют толко переменные, которым присваиваются значения

(4) условие, результатная часть которого не всегда имеет интерпретацию переменных

Упражнение 4:

Номер 1

Что называется образцовым окончанием Рефала-5?

Ответ:

(1) окончание образца

(2) окончание рефал-предложения, начинающееся с образца условия

(3) окончание образцовой части рефал-предложения

(4) образцовый блок

Номер 2

Какое утверждение для Рефала-5 является неверным?

Ответ:

(1) образцовое окончание, заключенное в фигурные скобки, называется образцовым блоком

(2) тело функции является образцовым блоком

(3) образцовое окончание может быть телом функции

(4) образцовое окончание есть окончание образцовой части рефал-предложения

Номер 3

Какое утверждение для Рефала-5 является верным?

Ответ:

(1) тело функции является образцовым блоком

(2) образцовое окончание есть окончание образцовой части рефал-предложения

(3) образцовое окончание не может быть телом функции

(4) множество образцов, заключенных в фигурные скобки, называется образцовым блоком

Упражнение 5:

Номер 1

Что называется результатным окончанием Рефала-5?

Ответ:

(1) результатное выражение рефал-предложения

(2) окончание рефал-предложения, начинающееся с результатного выражения условия

(3) окончание рефал-предложения

(4) выражение, стоящее после образцового окончания

Номер 2

Какое утверждение для Рефала-5 является неверным?

Ответ:

(1) результатное окончание определяется не только для условия рефал-предложения

(2) результатное окончание следует за образцом

(3) результатным окончанием является совокупность всех результатных выражений

Номер 3

Какое утверждение для Рефала-5 является верным?

Ответ:

(1) результатное окончание определяется только для условия рефал-предложения

(2) результатным окончанием является совокупность всех результатных

(3) результатное окончание следует за образцом

(4) результатное окончание может совпадать собразцовым окончанием

Упражнение 6:

Номер 1

Что называется результатным блоком Рефала-5?

Ответ:

(1) последовательность любых результатных окончаний, заключенных в фигурные скобки

(2) последовательность результатных окончаний, заключенных в фигурные скобки и относящихся к одному образцу

(3) блок, определяющий результат вычисления

Номер 2

Какое утверждение для Рефала-5 является неверным?

Ответ:

(1) последовательность всех результатных окончаний рефал-предложения называется результатным блоком

(2) результатные окончания различных условий не могут входить в один результатный блок

(3) все результатные окончания блока должны иметь один образец

Номер 3

Какое утверждение для Рефала-5 является верным?

Ответ:

(1) разные образцы могут иметь один результатный блок

(2) результатный блок всегда следует за образцовым блоком

(3) результатом вычисления результатного блока может быть новое условие

Языки логического программирования - тест 6