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

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

Номер 1

Что такое спецификатор в определении Рефала-2?

Ответ:

(1) допустимые значения переменных

(2) последовательность символов

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

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

(5) последовательность обозначений множеств символов

(6) имя, объявленное директивой с ключевым словом S

Номер 2

Что не может быть спецификатором Рефала-2?

Ответ:

(1) последовательность символов в двойных круглых скобках

(2) последовательность термов

(3) цепочка элементов спецификатора, части которой, возможно, в круглых скобках

(4) последовательность обозначений множеств символов

(5) имя, объявленное директивой с ключевым словом S

Номер 3

Что может быть спецификатором Рефала-2?

Ответ:

(1) пустой терм в структурных скобках

(2) функциональный терм

(3) множество двоичных цифр

(4) имя, объявленное директивой с ключевым словом S

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

Номер 1

Что такое элемент описания спецификатора в определении Рефала-2?

Ответ:

(1) цепочка символов в круглых скобках

(2) любой символ

(3) одно из обозначений S, B, W, F, N, R, O, L, D конечных множеств

(4) любой символ или одно из обозначений S, B, W, F, N, R, O, L, D конечных множеств

(5) некоторый терм

(6) допустимое значение переменной

Номер 2

Что не может быть элементом описания спецификатора Рефала-2?

Ответ:

(1) цепочка символов в символьных скобках

(2) любой символ

(3) одно из обозначений S, B, W, F, N, R, O, L, D конечных множеств

(4) любой символ или одно из обозначений S, B, W, F, N, R, O, L, D конечных множеств

(5) некоторый терм

(6) допустимое значение переменной

Номер 3

Что может быть элементом описания спецификатора Рефала-2?

Ответ:

(1) число

(2) идентификатор

(3) функциональный терм

(4) пустое выражение

(5) множество всех термов

(6) допустимое значение переменной

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

Номер 1

Выражение (RO)S

Ответ:

(1) не может быть спецификатором

(2) может быть спецификатором эквивалентным спецификатору NF

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

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

Номер 2

Выражение ((S)N)S

Ответ:

(1) не может быть спецификатором

(2) может быть спецификатором, который ограничивает значение переменной любыми символами кроме символов-чисел

(3) может быть спецификатором, который ограничивает значение переменной любыми символами-числами

Номер 3

Выражение (O)()D()

Ответ:

(1) не может быть спецификатором

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

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

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

Номер 1

Какое утверждение верно относительно директив Рефала-2?

Ответ:

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

(2) директива обязана содержать ключевое слово

(3) директива обязана содержать идентификатор директивы

(4) директива, начинающаяся с пробела, не может содержать информацию

(5) директива может содержать только информацию или только ключевое слово

Номер 2

Какое утверждение неверно относительно директив Рефала-2?

Ответ:

(1) директива может быть пустой

(2) директива может не содержать ключевое слово

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

(4) директива, начинающаяся с пробела, может содержать только информацию

(5) директива может содержать идентификатор, информацию и ключевое слово

Номер 3

Какое утверждение верно относительно директив Рефала-2?

Ответ:

(1) комментарий есть директива, содержащая только информацию

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

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

(4) директива, не содержащая ключевого слова, должна содержать идентификатор

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

Номер 1

Какая из директив Рефала-2 содержит только ключевое слово?

Ответ:

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

(2) директива рефал-предложения

(3) директива объявления входов программного модуля

(4) директива объявления имени спецификатора

Номер 2

Какая из директив не содержит идентификатора директивы?

Ответ:

(1) директива описания функции

(2) директива объявления имени спецификатора

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

(4) директива конца программного модуля

Номер 3

Какая из директив не должна содержать информацию директивы?

Ответ:

(1) директива описания функции

(2) директива объявления имени спецификатора

(3) директива конца программного модуля

(4) директива объявления внешних функций

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

Номер 1

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

Ответ:

(1) вход может быть только 1

(2) программный модуль может не иметь входов

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

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

(5) допускается только одна директива ENTRY для описания входов

Номер 2

Какие утверждения не верны относительно внешних имен программного модуля в Рефале-2?

Ответ:

(1) все внешние функции должны быть объявлены в одной директиве EXTRN

(2) программный модуль может не иметь внешних имен

(3) внешними именами могут быть функции, описанные в самом модуле

(4) все внешние имена должны быть описаны в других модулях

(5) допускается несколько директив EXTRN в одном модуле

Номер 3

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

Ответ:

(1) ключевое слово R директивы можно опускать

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

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

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

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

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